source-maintenance.sh: Fix checkMakeNamedErrorDetails on MacOS (#1885) #3671
| Job | Run time |
|---|---|
| 39m 33s | |
| 3m 4s | |
| 17m 7s | |
| 11m 17s | |
| 6m 7s | |
| 13m 20s | |
| 13m 19s | |
| 8m 21s | |
| 15m 41s | |
| 12m 35s | |
| 8m 34s | |
| 17m 50s | |
| 2h 46m 48s |
| Job | Run time |
|---|---|
| 39m 33s | |
| 3m 4s | |
| 17m 7s | |
| 11m 17s | |
| 6m 7s | |
| 13m 20s | |
| 13m 19s | |
| 8m 21s | |
| 15m 41s | |
| 12m 35s | |
| 8m 34s | |
| 17m 50s | |
| 2h 46m 48s |