Merge pull request #532 from coq-community/enhance/sticky-cursor #568
| Job | Run time |
|---|---|
| 12m 13s | |
| 1h 22m 45s | |
| 18m 41s | |
| 1m 34s | |
| 53s | |
| 3m 18s | |
| 11m 10s | |
| 15m 57s | |
| 12m 47s | |
| 2h 39m 18s |
| Job | Run time |
|---|---|
| 12m 13s | |
| 1h 22m 45s | |
| 18m 41s | |
| 1m 34s | |
| 53s | |
| 3m 18s | |
| 11m 10s | |
| 15m 57s | |
| 12m 47s | |
| 2h 39m 18s |