Merge pull request #818 from rainlanguage/2024-09-02-matchain #3157
| Job | Run time |
|---|---|
| 23m 25s | |
| 19m 56s | |
| 15m 57s | |
| 22m 45s | |
| 19m 42s | |
| 17m 1s | |
| 20m 4s | |
| 20m 40s | |
| 20m 35s | |
| 19m 14s | |
| 17m 42s | |
| 3h 37m 1s |
| Job | Run time |
|---|---|
| 23m 25s | |
| 19m 56s | |
| 15m 57s | |
| 22m 45s | |
| 19m 42s | |
| 17m 1s | |
| 20m 4s | |
| 20m 40s | |
| 20m 35s | |
| 19m 14s | |
| 17m 42s | |
| 3h 37m 1s |