Merge pull request #298 from rainlanguage/2024-10-30-rain-string #803
| Job | Run time |
|---|---|
| 14m 18s | |
| 17m 34s | |
| 18m 28s | |
| 23m 13s | |
| 11m 43s | |
| 10m 27s | |
| 11m 23s | |
| 12m 28s | |
| 12m 4s | |
| 2h 11m 38s |
| Job | Run time |
|---|---|
| 14m 18s | |
| 17m 34s | |
| 18m 28s | |
| 23m 13s | |
| 11m 43s | |
| 10m 27s | |
| 11m 23s | |
| 12m 28s | |
| 12m 4s | |
| 2h 11m 38s |