open-standards/.github
Repository files (latest commit first)
Filename Latest commit message Latest commit date
dcharlot 6c8016b61a
All checks were successful
repository checks / lockfiles, advisories, tests in CI, workflow hygiene, spec and section references, public text (push) Successful in 19m22s
Merge pull request 'standards-build: the proof gate turned a verified proof into a failure' (#599) from ci/proof-gate-sigpipe into main
2026-11-03 15:17:17 -05:00
..
workflows Merge pull request 'standards-build: the proof gate turned a verified proof into a failure' (#599) from ci/proof-gate-sigpipe into main 2026-11-03 15:17:17 -05:00