Skip to content
Workflow Security Linter

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

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) #514

Triggered via push August 3, 2026 13:15
@hyperpolymathhyperpolymath
pushed 7f6cb79
main
Status Success
Total duration 11m 27s
Artifacts –

workflow-linter.yml

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