Skip to content
Proof Corpus

fix(ci): pin third-party actions to full commit SHAs (#108) #176

Sign in to view logs

fix(ci): pin third-party actions to full commit SHAs (#108)

fix(ci): pin third-party actions to full commit SHAs (#108) #176

Triggered via push September 20, 2026 00:50
@hyperpolymathhyperpolymath
pushed e34cefa
main
Status Success
Total duration 11m 22s
Artifacts –

proof-corpus.yml

on: push
idris2 0.8.0 --build git-reticulator-proofs
7m 43s
idris2 0.8.0 --build git-reticulator-proofs
Fit to window
Zoom out
Zoom in

Annotations

1 notice
idris2 0.8.0 --build git-reticulator-proofs
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"