Repository navigation

Code Quality

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

Sign in to view logs

Triggered via push May 18, 2026 22:17

proof-debt/standards-133-coq-rescue-wip

Status Success

Total duration 12h 50m 14s

Artifacts –

quality.yml

on: push

Annotations

2 warnings

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

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