Manually update pre-commit hook for gersemi
#9056
| Job | Run time |
|---|---|
| 9m 37s | |
| 15m 0s | |
| 14m 45s | |
| 9m 58s | |
| 14m 48s | |
| 9m 46s | |
| 15m 3s | |
| 10m 15s | |
| 9m 42s | |
| 14m 10s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| 0s | |
| 2h 3m 0s |
gersemi
#9056
| Job | Run time |
|---|---|
| 9m 37s | |
| 15m 0s | |
| 14m 45s | |
| 9m 58s | |
| 14m 48s | |
| 9m 46s | |
| 15m 3s | |
| 10m 15s | |
| 9m 42s | |
| 14m 10s | |
| -1s | |
| -1s | |
| -1s | |
| -1s | |
| 0s | |
| 2h 3m 0s |