Skip to content
Workflow Security Linter

fix(ci): make the Coq gate actually run in the pinned container #509

Sign in to view logs

fix(ci): make the Coq gate actually run in the pinned container

fix(ci): make the Coq gate actually run in the pinned container #509

Triggered via push July 28, 2026 18:36
@hyperpolymathhyperpolymath
pushed af7c38c
ci/coq-proof-gate
Status Success
Total duration 5m 17s
Artifacts –

workflow-linter.yml

on: push
lint-workflows
5s
lint-workflows
Fit to window
Zoom out
Zoom in