Skip to content
Rust CLI Tests

chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) #140

Sign in to view logs

chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs)

chore(licence): normalise to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) #140

Triggered via push June 24, 2026 17:16
@hyperpolymathhyperpolymath
pushed f872ff8
chore/licence-normalisation-2026-06-24
Status Failure
Total duration 18h 28m 12s
Artifacts –

rust-cli.yml

on: push
Test Rust CLI
1m 6s
Test Rust CLI
Verify Lean 4 Proofs
14s
Verify Lean 4 Proofs
Fit to window
Zoom out
Zoom in

Annotations

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