Skip to content
CI

feat(evidence): Evidence Mode — claim editor, fibre & echo, residual explorer (refs #7) #487

Sign in to view logs

feat(evidence): Evidence Mode — claim editor, fibre & echo, residual explorer (refs #7)

feat(evidence): Evidence Mode — claim editor, fibre & echo, residual explorer (refs #7) #487

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Occupancy relevance
8s
Code relevance
8s
Agda proofs
45s
Julia tests
7m 58s
Occupancy typed peak
-1s
Occupancy disagreement test
-1s
8m 57s