Skip to content
Programming Cryptol PDF Update

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

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. #21

Run time

Learn about OS pricing on GitHub Actions
Job Run time
update_needed
8s
8s