Merge pull request #1650 from clasp-developers/sigwinch-fix #1499
| Job | Run time |
|---|---|
| 1h 3m 55s | |
| 54m 41s | |
| 28m 43s | |
| 34m 20s | |
| 34m 23s | |
| 27m 53s | |
| 6h 0m 17s | |
| 1h 19m 40s | |
| 47m 35s | |
| 12h 11m 27s |
| Job | Run time |
|---|---|
| 1h 3m 55s | |
| 54m 41s | |
| 28m 43s | |
| 34m 20s | |
| 34m 23s | |
| 27m 53s | |
| 6h 0m 17s | |
| 1h 19m 40s | |
| 47m 35s | |
| 12h 11m 27s |