Split up miri
CI job into miri
and miri-spec
(#1028)
#3575
rust.yml
on: push
Build
2m 24s
Test (Address Sanitizer)
2m 23s
Formatting
15s
Documentation
50s
Audit
17s
uDeps
6m 28s
Fuzz (Translation)
9m 19s
Fuzz (Execution)
9m 10s
Fuzz (Differential)
9m 36s
Miri
8m 6s
Miri (spec)
7m 13s
Clippy
2m 0s
Coverage
3m 30s
Matrix: Test
Annotations
2 warnings
Coverage
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions-rs/tarpaulin@v0.1.3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
|
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/
|
Artifacts
Produced during runtime
Name | Size | |
---|---|---|
code-coverage-report
|
65.7 KB |
|