New reg span types & replace RegSpanIter with BoundedRegSpan
#4091
Robbepoprust.yml
on: pull_request
Build
1m 42s
Test (Address Sanitizer)
2m 37s
Formatting
13s
Documentation
29s
Audit
7s
uDeps
6m 27s
Fuzz (Translation)
9m 20s
Fuzz (Execution)
9m 15s
Fuzz (Differential)
9m 26s
Miri
9m 10s
Miri (spec)
3m 46s
Clippy
2m 10s
Coverage
3m 38s
Matrix: Test
Annotations
7 errors and 2 warnings
|
Documentation
Process completed with exit code 101.
|
|
Miri (spec)
Process completed with exit code 100.
|
|
Miri
Process completed with exit code 100.
|
|
Fuzz (Translation)
Canceling since a higher priority waiting request for 'Rust - Continuous Integration-1180' exists
|
|
Fuzz (Translation)
The operation was canceled.
|
|
Fuzz (Differential)
Canceling since a higher priority waiting request for 'Rust - Continuous Integration-1180' exists
|
|
Fuzz (Differential)
The operation was canceled.
|
|
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.7 KB |
|