Skip to content
Rust CLI Tests

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

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

Triggered via pull request June 1, 2026 20:20
@hyperpolymathhyperpolymath
opened #97
spdx/copyright-adoc-2026-06-01
Status Success
Total duration 2h 26m 51s
Artifacts –

rust-cli.yml

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