Skip to content
Coq Proof Gate

chore(ci): SPDX headers on line 1 and Actions lockfile minted #10

Sign in to view logs

chore(ci): SPDX headers on line 1 and Actions lockfile minted

chore(ci): SPDX headers on line 1 and Actions lockfile minted #10

Triggered via pull request August 7, 2026 11:45
@hyperpolymathhyperpolymath
opened #717
chore/ci-hygiene-lockfile-spdx
Status Success
Total duration 1m 32s
Artifacts –

coq-proof-gate.yml

on: pull_request
coq-proofs
1m 25s
coq-proofs
Fit to window
Zoom out
Zoom in