Merge pull request #268 from rainlanguage/2024-08-02-state-overlay #717
| Job | Run time |
|---|---|
| 10m 27s | |
| 12m 53s | |
| 21m 2s | |
| 1h 45m 39s | |
| 9m 37s | |
| 6m 0s | |
| 7m 7s | |
| 7m 57s | |
| 7m 39s | |
| 3h 8m 21s |
| Job | Run time |
|---|---|
| 10m 27s | |
| 12m 53s | |
| 21m 2s | |
| 1h 45m 39s | |
| 9m 37s | |
| 6m 0s | |
| 7m 7s | |
| 7m 57s | |
| 7m 39s | |
| 3h 8m 21s |