Skip to content
Hardhat

Merge pull request #408 from morpho-org/certora/switch-to-stable #1123

Sign in to view logs

Merge pull request #408 from morpho-org/certora/switch-to-stable

Merge pull request #408 from morpho-org/certora/switch-to-stable #1123

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Gas tests
1m 47s
1m 47s