Adding --proof-hint flag to PyK KRun
#6360
| Job | Run time |
|---|---|
| 1m 32s | |
| 1m 20s | |
| 1m 31s | |
| 1m 24s | |
| 1s | |
| 4m 27s | |
| 23m 53s | |
| 4m 51s | |
| 47s | |
| 25m 59s | |
| 17m 43s | |
| 1m 22s | |
| 3m 30s | |
| 4m 36s | |
| 17m 29s | |
| 21m 46s | |
| 2h 12m 11s |