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