Skip to content
Rust CLI Tests

chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … #142

Sign in to view logs

chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) …

chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) … #142

Triggered via push June 24, 2026 17:17
@hyperpolymathhyperpolymath
pushed be08eff
main
Status Failure
Total duration 18h 34m 44s
Artifacts –

rust-cli.yml

on: push
Test Rust CLI
59s
Test Rust CLI
Verify Lean 4 Proofs
16s
Verify Lean 4 Proofs
Fit to window
Zoom out
Zoom in

Annotations

1 error
Verify Lean 4 Proofs
Process completed with exit code 1.