Merge pull request #713 from liquity/certora #1227
danielattilasimoncontracts-tests.yml
on: push
Foundry tests
7m 28s
Foundry "E2E" tests
1m 41s
Console imports check
26s
Hardhat tests
0s
Coverage
14m 45s
Annotations
4 warnings
|
Console imports check
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Foundry "E2E" tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Foundry tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
Coverage
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|