Skip to content
Cryptol Docs

Fix doc-gen CI to not fail on the existsence of a non-mergeable PR. #449

Sign in to view logs

Fix doc-gen CI to not fail on the existsence of a non-mergeable PR.

Fix doc-gen CI to not fail on the existsence of a non-mergeable PR. #449

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-branch-docs
1m 40s
build-pages-docs
43s
2m 23s