refactor: move proof pieces used by ProofExprs and ProofPlans to …
#289
grabskimmrelease.yaml
on: push
lint-and-test
/
Check Package
1m 20s
lint-and-test
/
Test Suite
19m 40s
lint-and-test
/
Clippy
47s
lint-and-test
/
Code Coverage
26m 56s
lint-and-test
/
Format
14s
lint-and-test
/
Unused Dependencies
7m 8s
lint-and-test
/
Foundry project
9s
lint-and-test
/
solhint
7s
Release
26s
Annotations
5 warnings
|
lint-and-test / Code Coverage
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
lint-and-test / Format
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
lint-and-test / solhint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
lint-and-test / Foundry project
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
lint-and-test / Unused Dependencies
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|