Split up miri
CI job into miri
and miri-spec
#3574
rust.yml
on: pull_request
Build
2m 13s
Test (Address Sanitizer)
2m 10s
Formatting
12s
Documentation
36s
Audit
15s
uDeps
1m 19s
Fuzz (Translation)
9m 12s
Fuzz (Execution)
9m 7s
Fuzz (Differential)
9m 28s
Miri
5m 30s
Miri (spec)
4m 52s
Clippy
1m 54s
Coverage
3m 17s
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
|
66.2 KB |
|