Remove duplicate use_locals
update (minor finding) (#1199)
#4144
rust.yml
on: push
Build
1m 45s
Test (Address Sanitizer)
2m 37s
Check mininum supported Rust version
24s
Formatting
16s
Documentation
36s
Audit
10s
uDeps
1m 22s
Fuzz (Translation)
3m 30s
Fuzz (Execution)
3m 39s
Fuzz (Differential)
3m 49s
Miri
9m 15s
Miri (spec)
3m 49s
Clippy
1m 13s
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/[email protected]. 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/[email protected]. 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
|
68 KB |
|