Skip to content
Guix/Nix Package Policy

proof(lean4/LambdaCNO): close church_zero (1 of 6); document 5 spec-b… #5

Sign in to view logs

proof(lean4/LambdaCNO): close church_zero (1 of 6); document 5 spec-b…

proof(lean4/LambdaCNO): close church_zero (1 of 6); document 5 spec-b… #5

Run time

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