Rust CI

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

Sign in to view logs

Triggered via push May 18, 2026 22:18

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

Status Success

Total duration 13h 21m 15s

Artifacts –

rust-ci.yml

on: push