Skip to content
ReScript/Deno CI

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

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

Triggered via push May 18, 2026 22:18
@hyperpolymathhyperpolymath
pushed 1a7d7c2
proof-debt/standards-133-coq-rescue-wip
Status Failure
Total duration 12h 56m 21s
Artifacts –

rescript-deno-ci.yml

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

Annotations

1 error
build
Process completed with exit code 1.