Skip to content

feat: add rho eval to the proof ecosystem #3017

feat: add rho eval to the proof ecosystem

feat: add rho eval to the proof ecosystem #3017

Triggered via pull request January 13, 2025 19:20
Status Failure
Total duration 23m 33s
Billable time 12m
Artifacts

lint-and-test.yml

on: pull_request

Annotations

4 errors and 5 warnings
Check Package
Process completed with exit code 101.
Clippy
Process completed with exit code 101.
Test Suite
Process completed with exit code 101.
Code Coverage
Process completed with exit code 1.
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
Foundry project
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
Code Coverage
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636