WIP: add Wasmi translation invariants checker #4547
Robbepoprust.yml
on: pull_request
Build
26s
Test (Address Sanitizer)
54s
Check mininum supported Rust version
16s
Formatting
18s
Documentation
27s
Audit
9s
uDeps
5m 44s
Miri
3m 5s
Miri (spec)
3m 8s
Clippy
28s
Coverage
44s
Matrix: Fuzz
Matrix: Test
Annotations
19 errors and 13 warnings
|
Check mininum supported Rust version
Process completed with exit code 101.
|
|
Build
Process completed with exit code 101.
|
|
Clippy
Process completed with exit code 101.
|
|
Documentation
Process completed with exit code 101.
|
|
Fuzz (translate)
Process completed with exit code 1.
|
|
Fuzz (execute)
The job was canceled because "translate" failed.
|
|
Fuzz (execute)
Process completed with exit code 1.
|
|
Test (ubuntu-latest)
Process completed with exit code 101.
|
|
Test (macos-latest)
The job was canceled because "ubuntu-latest" failed.
|
|
Test (macos-latest)
Process completed with exit code 101.
|
|
Fuzz (differential)
The job was canceled because "translate" failed.
|
|
Fuzz (differential)
The operation was canceled.
|
|
Test (windows-latest)
The job was canceled because "ubuntu-latest" failed.
|
|
Test (windows-latest)
The operation was canceled.
|
|
Coverage
The process '/home/runner/.cargo/bin/cargo' failed with exit code 1
|
|
Test (Address Sanitizer)
Process completed with exit code 101.
|
|
Miri
Process completed with exit code 101.
|
|
Miri (spec)
Process completed with exit code 101.
|
|
uDeps
Process completed with exit code 101.
|
|
Audit
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Check mininum supported Rust version
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Formatting
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Build
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Clippy
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Documentation
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Fuzz (translate)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Test (ubuntu-latest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Coverage
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Test (Address Sanitizer)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Miri
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Miri (spec)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
uDeps
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|