Apply new format to relink_result and merge some common match arms …
#4082
Robbepoprust.yml
on: push
Build
1m 40s
Test (Address Sanitizer)
2m 22s
Formatting
12s
Documentation
20s
Audit
8s
uDeps
1m 16s
Fuzz (Translation)
3m 33s
Fuzz (Execution)
3m 30s
Fuzz (Differential)
3m 50s
Miri
9m 13s
Miri (spec)
3m 49s
Clippy
1m 5s
Coverage
3m 32s
Matrix: Test
Annotations
2 errors and 2 warnings
|
Miri (spec)
Process completed with exit code 100.
|
|
Miri
Process completed with exit code 100.
|
|
Coverage
The following actions uses node12 which is deprecated and will be forced to run on node16: actions-rs/tarpaulin@v0.1.3. For more info: https://github.blog/changelog/2023-06-13-github-actions-all-actions-will-run-on-node16-instead-of-node12-by-default/
|
|
Coverage
The following actions use a deprecated Node.js version and will be forced to run on node20: actions-rs/tarpaulin@v0.1.3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
|
Artifacts
Produced during runtime
| Name | Size | |
|---|---|---|
|
code-coverage-report
|
69.2 KB |
|