Skip to content
Proof Corpus

fix(ci): drop invalid timeout-minutes from reusable-workflow calls (parse-dead) #84

Sign in to view logs

fix(ci): drop invalid timeout-minutes from reusable-workflow calls (parse-dead)

fix(ci): drop invalid timeout-minutes from reusable-workflow calls (parse-dead) #84

Triggered via pull request July 17, 2026 20:31
@hyperpolymathhyperpolymath
opened #64
fix/ci-timeout-minutes-reusable
Status Success
Total duration 9m 44s
Artifacts –

proof-corpus.yml

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