Skip to content
Guix/Nix Package Policy

fix(proofs): repair PA1 + PA2 Idris2 proofs (both were broken) #154

Sign in to view logs

fix(proofs): repair PA1 + PA2 Idris2 proofs (both were broken)

fix(proofs): repair PA1 + PA2 Idris2 proofs (both were broken) #154

Run time

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