Skip to content
GitHub macOS CI

attempt at saving incomplete proofs, but no #13

Sign in to view logs

attempt at saving incomplete proofs, but no

attempt at saving incomplete proofs, but no #13

Run time

Learn about OS pricing on GitHub Actions
Job Run time
macOS
46m 20s
46m 20s