Adding --proof-hint flag to PyK KRun
#6344
| Job | Run time |
|---|---|
| 1m 25s | |
| 1m 19s | |
| 1m 23s | |
| 1m 21s | |
| 1s | |
| 23m 54s | |
| 41s | |
| 4m 22s | |
| 4m 47s | |
| 1m 30s | |
| 25m 38s | |
| 17m 35s | |
| 23m 27s | |
| 17m 28s | |
| 3m 46s | |
| 3m 36s | |
| 2h 12m 13s |