Skip to content
Proof Corpus

chore(issue-forms): retire local templates -> inherit org canon #64

Sign in to view logs

chore(issue-forms): retire local templates -> inherit org canon

chore(issue-forms): retire local templates -> inherit org canon #64

Run time

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