Skip to content
Agda

proof(Slice 3+4 Route A): (b) lex-first primitive + bpsi sub-case dis… #619

Sign in to view logs

proof(Slice 3+4 Route A): (b) lex-first primitive + bpsi sub-case dis…

proof(Slice 3+4 Route A): (b) lex-first primitive + bpsi sub-case dis… #619

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check
1m 44s
cold-check
9m 29s
11m 13s