Skip to content
Rust CLI Tests

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

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) #141

Triggered via pull request June 24, 2026 17:16
@hyperpolymathhyperpolymath
opened #148
chore/licence-normalisation-2026-06-24
Status Failure
Total duration 18h 29m 9s
Artifacts –

rust-cli.yml

on: pull_request
Test Rust CLI
1m 12s
Test Rust CLI
Verify Lean 4 Proofs
9s
Verify Lean 4 Proofs
Fit to window
Zoom out
Zoom in

Annotations

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