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