Skip to content
Guix/Nix Package Policy

Allow Isabelle verify for trivial goals #89

Sign in to view logs

Allow Isabelle verify for trivial goals

Allow Isabelle verify for trivial goals #89

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
3s
3s