Skip to content
SPARK Theatre Gate

ci: wire the formal/ Coq proof gate into CI (Refs #513) #917

Sign in to view logs

ci: wire the formal/ Coq proof gate into CI (Refs #513)

ci: wire the formal/ Coq proof gate into CI (Refs #513) #917

Triggered via pull request July 28, 2026 18:28
@hyperpolymathhyperpolymath
synchronize #709
ci/coq-proof-gate
Status Success
Total duration 20s
Artifacts –

spark-theatre-gate.yml

on: pull_request
spark-theatre-gate  /  SPARK Theatre Gate
4s
spark-theatre-gate / SPARK Theatre Gate
Fit to window
Zoom out
Zoom in