Skip to content

Merge pull request #1385 from jamesdobson/chore-remove-unused-paramet… #421

Merge pull request #1385 from jamesdobson/chore-remove-unused-paramet…

Merge pull request #1385 from jamesdobson/chore-remove-unused-paramet… #421

Triggered via push October 9, 2025 20:34
Status Success
Total duration 7m 23s
Artifacts 1

release.yml

on: push
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
290 MB
sha256:3e2ea42e8d6390856260842ab51c8b0f4904269f946f24f1e7ddfe2210f90194