[Certora] Verification Morpho tokens #18
Run time
Learn about OS # on GitHub Actions| Job | Run time |
|---|---|
| 7m 4s | |
| 7m 34s | |
| 8m 13s | |
| 8m 8s | |
| 7m 2s | |
| 8m 8s | |
| 8m 7s | |
| 7m 41s | |
| 6m 11s | |
| 5m 50s | |
| 1h 13m 58s |
| Job | Run time |
|---|---|
| 7m 4s | |
| 7m 34s | |
| 8m 13s | |
| 8m 8s | |
| 7m 2s | |
| 8m 8s | |
| 8m 7s | |
| 7m 41s | |
| 6m 11s | |
| 5m 50s | |
| 1h 13m 58s |