Skip to content

Merge pull request #1792 from GaloisInc/tidy-ci-in-forks #519

Merge pull request #1792 from GaloisInc/tidy-ci-in-forks

Merge pull request #1792 from GaloisInc/tidy-ci-in-forks #519

Triggered via push January 30, 2025 20:41
Status Success
Total duration 2m 17s
Artifacts 1

docs.yml

on: push
build-branch-docs
1m 30s
build-branch-docs
build-pages-docs
2m 6s
build-pages-docs
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
github-pages Expired
75.1 MB