build/pkgs/gap: Update to 4.13.1, require >= 4.13
#4731
| Job | Run time |
|---|---|
| 1m 41s | |
| 1h 47m 8s | |
| 1h 53m 7s | |
| 2h 11m 16s | |
| 1h 35m 1s | |
| 1h 51m 8s | |
| 2h 14m 59s | |
| 1h 45m 38s | |
| 1h 26m 43s | |
| 1h 44m 2s | |
| 1h 51m 4s | |
| 1h 49m 15s | |
| 2h 29m 13s | |
| 1h 49m 29s | |
| 2h 17m 27s | |
| 1h 43m 57s | |
| 2h 22m 29s | |
| 2h 21m 50s | |
| 2h 52m 15s | |
| 3h 16m 45s | |
| 1d 15h 24m 27s |