Split up miri CI job into miri and miri-spec
#3572
Robbepoprust.yml
on: pull_request
Build
2m 22s
Test (Address Sanitizer)
2m 17s
Formatting
12s
Documentation
37s
Audit
15s
uDeps
1m 19s
Fuzz (Translation)
5m 57s
Fuzz (Execution)
5m 57s
Fuzz (Differential)
5m 57s
Miri
5m 55s
Miri (spec)
5m 56s
Clippy
1m 54s
Coverage
3m 9s
Matrix: Test
Annotations
12 errors and 2 warnings
|
Test (windows-latest)
Canceling since a higher priority waiting request for 'Rust - Continuous Integration-1028' exists
|
|
Test (windows-latest)
The operation was canceled.
|
|
Miri (spec)
Canceling since a higher priority waiting request for 'Rust - Continuous Integration-1028' exists
|
|
Miri (spec)
The operation was canceled.
|
|
Fuzz (Execution)
Canceling since a higher priority waiting request for 'Rust - Continuous Integration-1028' exists
|
|
Fuzz (Execution)
The operation was canceled.
|
|
Miri
Canceling since a higher priority waiting request for 'Rust - Continuous Integration-1028' exists
|
|
Miri
The operation was canceled.
|
|
Fuzz (Differential)
Canceling since a higher priority waiting request for 'Rust - Continuous Integration-1028' exists
|
|
Fuzz (Differential)
The operation was canceled.
|
|
Fuzz (Translation)
Canceling since a higher priority waiting request for 'Rust - Continuous Integration-1028' exists
|
|
Fuzz (Translation)
The operation was canceled.
|
|
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.8 KB |
|