Skip to content
Proof Corpus

fix(ci): repoint codeql-action at a SHA that exists #107

Sign in to view logs

fix(ci): repoint codeql-action at a SHA that exists

fix(ci): repoint codeql-action at a SHA that exists #107

Triggered via pull request July 28, 2026 17:17
@hyperpolymathhyperpolymath
synchronize #74
fix/codeql-action-sha
Status Success
Total duration 9m 11s
Artifacts –

proof-corpus.yml

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