Skip to content
Stdlib Naming Convention

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

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

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

stdlib-naming.yml

on: push
enforce-lowercase-stdlib
6m 28s
enforce-lowercase-stdlib
Fit to window
Zoom out
Zoom in

Annotations

2 errors
enforce-lowercase-stdlib
Canceling since a higher priority waiting request for Stdlib Naming Convention-refs/heads/main exists
Stdlib Naming Convention
Canceling since a higher priority waiting request for Stdlib Naming Convention-refs/heads/main exists