Skip to content
SPARK Theatre Gate

fix(ci): repair the Coq gate on main — coqc not found (#711) #922

Sign in to view logs

fix(ci): repair the Coq gate on main — coqc not found (#711)

fix(ci): repair the Coq gate on main — coqc not found (#711) #922

Triggered via push August 3, 2026 13:15
@hyperpolymathhyperpolymath
pushed 7f6cb79
main
Status Cancelled
Total duration 6m 32s
Artifacts –

spark-theatre-gate.yml

on: push
spark-theatre-gate  /  SPARK Theatre Gate
6m 29s
spark-theatre-gate / SPARK Theatre Gate
Fit to window
Zoom out
Zoom in

Annotations

2 errors
spark-theatre-gate / SPARK Theatre Gate
Canceling since a higher priority waiting request for SPARK Theatre Gate-refs/heads/main exists
SPARK Theatre Gate
Canceling since a higher priority waiting request for SPARK Theatre Gate-refs/heads/main exists