fix position of green cursor when navigating proofs in the presence o… #91
| Job | Run time |
|---|---|
| 23s | |
| 7m 11s | |
| 7m 40s | |
| 7m 58s | |
| 8m 2s | |
| 7m 39s | |
| 7m 17s | |
| 7m 18s | |
| 7m 52s | |
| 7m 18s | |
| 1h 8m 38s |
| Job | Run time |
|---|---|
| 23s | |
| 7m 11s | |
| 7m 40s | |
| 7m 58s | |
| 8m 2s | |
| 7m 39s | |
| 7m 17s | |
| 7m 18s | |
| 7m 52s | |
| 7m 18s | |
| 1h 8m 38s |