Skip to content
ReScript/Deno CI

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

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] #77

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

rescript-deno-ci.yml

on: push
build
6s
build
security
6s
security
Fit to window
Zoom out
Zoom in

Annotations

1 error and 2 warnings
build
Process completed with exit code 1.
build
The process '/usr/bin/git' failed with exit code 128
security
The process '/usr/bin/git' failed with exit code 128