Skip to content
Rust CLI Tests

refactor: migrate repository documentation from Markdown to AsciiDoc #177

Sign in to view logs

refactor: migrate repository documentation from Markdown to AsciiDoc

refactor: migrate repository documentation from Markdown to AsciiDoc #177

Triggered via push August 24, 2026 07:51
@hyperpolymathhyperpolymath
pushed ca7e159
refactor/md-to-adoc
Status Success
Total duration 1h 3m 25s
Artifacts 1

rust-cli.yml

on: push
Test Rust CLI
2m 46s
Test Rust CLI
Verify Lean 4 Proofs
13s
Verify Lean 4 Proofs
Code coverage (llvm-cov)
1m 51s
Code coverage (llvm-cov)
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
coverage-lcov
55.1 KB
sha256:e6b6372771dd056540cc2dab123ff7d91d1fc6541481f6c805e97d9180e3d9ce