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

Triggered via pull request June 24, 2026 17:55
@hyperpolymathhyperpolymath
opened #54
chore/retire-local-issue-templates
Status Success
Total duration 19h 13m 1s
Artifacts –

proof-corpus.yml

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