Split up miri
CI job into miri
and miri-spec
#3573
rust.yml
on: pull_request
Build
2m 29s
Test (Address Sanitizer)
2m 24s
Formatting
15s
Documentation
54s
Audit
15s
uDeps
6m 25s
Fuzz (Translation)
9m 36s
Fuzz (Execution)
9m 16s
Fuzz (Differential)
9m 41s
Miri
8m 8s
Miri (spec)
7m 15s
Clippy
2m 2s
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.6 KB |
|