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

Run time

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