Bump bundled reggae to recent master (using dub v1.38) (#4688) #2202
| Job | Run time |
|---|---|
| 15m 9s | |
| 42m 49s | |
| 15m 4s | |
| 30m 38s | |
| 22m 25s | |
| 48m 57s | |
| 48m 29s | |
| 4m 59s | |
| 4m 30s | |
| 39s | |
| 3h 53m 39s |
| Job | Run time |
|---|---|
| 15m 9s | |
| 42m 49s | |
| 15m 4s | |
| 30m 38s | |
| 22m 25s | |
| 48m 57s | |
| 48m 29s | |
| 4m 59s | |
| 4m 30s | |
| 39s | |
| 3h 53m 39s |