refactor: switch to consume_intermediate_mle
in `ProofPlan::verifie…
#140
release.yaml
on: push
lint-and-test
/
Check Package
1m 28s
lint-and-test
/
Test Suite
12m 23s
lint-and-test
/
Clippy
1m 41s
lint-and-test
/
Format
16s
lint-and-test
/
Unused Dependencies
6m 45s
lint-and-test
/
Foundry project
9s
lint-and-test
/
solhint
7s
Release
17s
Annotations
8 warnings