Skip to content
Proofs Gate

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

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) #149

Triggered via pull request July 17, 2026 20:30
@hyperpolymathhyperpolymath
opened #287
fix/ci-timeout-minutes-reusable
Status Success
Total duration 43s
Artifacts –

proofs.yml

on: pull_request
Detect relevant changes
8s
Detect relevant changes
Trusted-base audit (no new axioms)
0s
Trusted-base audit (no new axioms)
Idris2 type-check (core + all cartridge ABIs)
0s
Idris2 type-check (core + all cartridge ABIs)
Fit to window
Zoom out
Zoom in