Skip to content
Proof Corpus

chore(ci): generate actions.lock ahead of the 2026-10-01 lock gate (#… #191

Sign in to view logs

chore(ci): generate actions.lock ahead of the 2026-10-01 lock gate (#…

chore(ci): generate actions.lock ahead of the 2026-10-01 lock gate (#… #191

Run time

Learn about OS pricing on GitHub Actions
Job Run time
idris2 0.8.0 --build git-reticulator-proofs
6m 42s
6m 42s