feat: add rho eval to the proof ecosystem #2971
iajoinerlint-and-test.yml
on: pull_request
Check Package
2m 7s
Test Suite
25m 20s
Clippy
1m 30s
Code Coverage
26m 42s
Format
23s
Unused Dependencies
31s
Foundry project
1m 39s
solhint
9s
Annotations
7 errors and 4 warnings
|
Unused Dependencies
Process completed with exit code 101.
|
|
Clippy
Process completed with exit code 101.
|
|
Check Package
Process completed with exit code 101.
|
|
Test Suite
Canceling since a higher priority waiting request for 'CI-Lint-And-Test-refs/pull/462/merge' exists
|
|
Test Suite
The operation was canceled.
|
|
Code Coverage
Canceling since a higher priority waiting request for 'CI-Lint-And-Test-refs/pull/462/merge' exists
|
|
Code Coverage
The operation was canceled.
|
|
solhint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Format
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Unused Dependencies
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Foundry project
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|