bump nim-stint to 7bb0ccc7842577243edc3b8d61f75bf498551a7a (#5977)
#15872
| Job | Run time |
|---|---|
| 3s | |
| 19m 56s | |
| 2m 10s | |
| 36m 25s | |
| 36m 35s | |
| 34m 3s | |
| 1h 3m 6s | |
| 59m 12s | |
| 1h 4m 55s | |
| 5h 16m 25s |