NO-ISSUE: Upgrade syncpack to 13.0.0 on Jenkins jobs (#2699)
#8
| Job | Run time |
|---|---|
| 1h 1m 14s | |
| 1h 11m 14s | |
| 3h 7m 22s | |
| 49m 58s | |
| 1h 9m 1s | |
| 1h 45m 40s | |
| 42m 14s | |
| 56m 29s | |
| 1h 41m 15s | |
| 12h 24m 27s |