Remove hardhat-foundry and check harnesses compilation in CI
#3280
ernestognwformal-verification.yml
on: pull_request
apply-diff
3s
verify
0s