Merge pull request #304 from rainlanguage/2024-12-30-update-string #830
| Job | Run time |
|---|---|
| 14m 22s | |
| 18m 40s | |
| 17m 52s | |
| 18m 17s | |
| 13m 12s | |
| 10m 38s | |
| 10m 22s | |
| 12m 48s | |
| 12m 1s | |
| 2h 8m 12s |
| Job | Run time |
|---|---|
| 14m 22s | |
| 18m 40s | |
| 17m 52s | |
| 18m 17s | |
| 13m 12s | |
| 10m 38s | |
| 10m 22s | |
| 12m 48s | |
| 12m 1s | |
| 2h 8m 12s |