Skip to content
Coq Proof Gate

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

Sign in to view logs

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

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

Triggered via push August 7, 2026 15:19
@hyperpolymathhyperpolymath
pushed d728da4
main
Status Success
Total duration 6m 38s
Artifacts –

coq-proof-gate.yml

on: push
coq-proofs
1m 30s
coq-proofs
Fit to window
Zoom out
Zoom in