Merge pull request #430 from morpho-org/certora/update-morpho-blue #378
| Job | Run time |
|---|---|
| 14m 16s | |
| 9m 0s | |
| 12m 21s | |
| 9m 32s | |
| 8m 40s | |
| 13m 7s | |
| 10m 3s | |
| 11m 39s | |
| 11m 10s | |
| 8m 25s | |
| 11m 9s | |
| 8m 54s | |
| 17m 19s | |
| 12m 17s | |
| 2h 37m 52s |
| Job | Run time |
|---|---|
| 14m 16s | |
| 9m 0s | |
| 12m 21s | |
| 9m 32s | |
| 8m 40s | |
| 13m 7s | |
| 10m 3s | |
| 11m 39s | |
| 11m 10s | |
| 8m 25s | |
| 11m 9s | |
| 8m 54s | |
| 17m 19s | |
| 12m 17s | |
| 2h 37m 52s |