WIP: add Wasmi translation invariants checker #4236
Robbepoprust.yml
on: pull_request
Build
1m 31s
Test (Address Sanitizer)
1m 58s
Check mininum supported Rust version
22s
Formatting
22s
Documentation
32s
Audit
8s
uDeps
1m 15s
Fuzz (Translation)
1m 57s
Fuzz (Execution)
1m 58s
Fuzz (Differential)
1m 59s
Miri
1m 57s
Miri (spec)
1m 58s
Clippy
51s
Coverage
1m 46s
Matrix: Test
Annotations
17 errors
|
Clippy
Process completed with exit code 101.
|
|
Coverage
Canceling since a higher priority waiting request for 'Rust - Continuous Integration-1233' exists
|
|
Coverage
The operation was canceled.
|
|
Test (windows-latest)
Canceling since a higher priority waiting request for 'Rust - Continuous Integration-1233' exists
|
|
Test (windows-latest)
The operation was canceled.
|
|
Fuzz (Differential)
Canceling since a higher priority waiting request for 'Rust - Continuous Integration-1233' exists
|
|
Fuzz (Differential)
The operation was canceled.
|
|
Miri
Canceling since a higher priority waiting request for 'Rust - Continuous Integration-1233' exists
|
|
Miri
The operation was canceled.
|
|
Fuzz (Execution)
Canceling since a higher priority waiting request for 'Rust - Continuous Integration-1233' exists
|
|
Fuzz (Execution)
The operation was canceled.
|
|
Fuzz (Translation)
Canceling since a higher priority waiting request for 'Rust - Continuous Integration-1233' exists
|
|
Fuzz (Translation)
The operation was canceled.
|
|
Test (Address Sanitizer)
Canceling since a higher priority waiting request for 'Rust - Continuous Integration-1233' exists
|
|
Test (Address Sanitizer)
The operation was canceled.
|
|
Miri (spec)
Canceling since a higher priority waiting request for 'Rust - Continuous Integration-1233' exists
|
|
Miri (spec)
The operation was canceled.
|