Skip to content
TypeScript/JavaScript Blocker

wip(proof-debt): rescue uncommitted #133 Coq/Lean CNO work [UNVERIFIED] #69

Sign in to view logs

wip(proof-debt): rescue uncommitted #133 Coq/Lean CNO work [UNVERIFIED]

wip(proof-debt): rescue uncommitted #133 Coq/Lean CNO work [UNVERIFIED] #69

Triggered via push May 18, 2026 22:17
@hyperpolymathhyperpolymath
pushed 65ca3f8
proof-debt/standards-133-coq-rescue-wip
Status Success
Total duration 12h 44m 40s
Artifacts –

ts-blocker.yml

on: push
check
6s
check
Fit to window
Zoom out
Zoom in

Annotations

1 warning
check
The process '/usr/bin/git' failed with exit code 128