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