[Certora] Verification Morpho tokens #19
Run time
Learn about OS # on GitHub Actions| Job | Run time |
|---|---|
| 4m 38s | |
| 4m 59s | |
| 6m 9s | |
| 6m 28s | |
| 4m 42s | |
| 5m 24s | |
| 5m 25s | |
| 5m 49s | |
| 5m 23s | |
| 4m 15s | |
| 53m 12s |
| Job | Run time |
|---|---|
| 4m 38s | |
| 4m 59s | |
| 6m 9s | |
| 6m 28s | |
| 4m 42s | |
| 5m 24s | |
| 5m 25s | |
| 5m 49s | |
| 5m 23s | |
| 4m 15s | |
| 53m 12s |