chore(deps): bump the actions group with 6 updates #167
dependabot[bot]rust-cli.yml
on: push
Test Rust CLI
2m 44s
Verify Lean 4 Proofs
11s
Code coverage (llvm-cov)
2m 25s
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
coverage-lcov
|
55 KB |
sha256:08dee8057799f811292f13728cec93e7026a5d93b11ae09979e021bffa02f39a
|
|