Skip to content
Deploy the CN tutorial to GitHub Pages

Deactivate CI for Coq to make the merge easier #53

Sign in to view logs

Deactivate CI for Coq to make the merge easier

Deactivate CI for Coq to make the merge easier #53

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
46s
46s