Skip to content
Coq Proof Gate

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

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 #11

Triggered via pull request August 7, 2026 12:22
@hyperpolymathhyperpolymath
synchronize #717
chore/ci-hygiene-lockfile-spdx
Status Success
Total duration 1m 28s
Artifacts –

coq-proof-gate.yml

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