Skip to content
Rust CLI Tests

chore(spdx): add Copyright (c) headers to AsciiDoc files (batch 3/7) #97

Sign in to view logs

chore(spdx): add Copyright (c) headers to AsciiDoc files (batch 3/7)

chore(spdx): add Copyright (c) headers to AsciiDoc files (batch 3/7) #97

Triggered via push June 1, 2026 20:20
@hyperpolymathhyperpolymath
pushed eb9211d
spdx/copyright-adoc-2026-06-01
Status Success
Total duration 2h 22m 2s
Artifacts –

rust-cli.yml

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