Skip to content
Stdlib Naming Convention

docs: record the Coq proof gate and the 2026-07-29 rescue session (#712) #1178

Sign in to view logs

docs: record the Coq proof gate and the 2026-07-29 rescue session (#712)

docs: record the Coq proof gate and the 2026-07-29 rescue session (#712) #1178

Triggered via push August 3, 2026 13:22
@hyperpolymathhyperpolymath
pushed 707fd5f
main
Status Success
Total duration 10m 55s
Artifacts –

stdlib-naming.yml

on: push
enforce-lowercase-stdlib
4s
enforce-lowercase-stdlib
Fit to window
Zoom out
Zoom in