Merge pull request #734 from coq-community/nav-commands-continuous-mode #929
| Job | Run time |
|---|---|
| 10m 0s | |
| 1m 21s | |
| 8m 9s | |
| 41s | |
| 1h 45m 23s | |
| 8m 9s | |
| 3m 53s | |
| 2m 36s | |
| 8m 7s | |
| 2m 56s | |
| 44s | |
| 5m 56s | |
| 5m 49s | |
| 4m 42s | |
| 13m 48s | |
| 7s | |
| 3h 2m 21s |
| Job | Run time |
|---|---|
| 10m 0s | |
| 1m 21s | |
| 8m 9s | |
| 41s | |
| 1h 45m 23s | |
| 8m 9s | |
| 3m 53s | |
| 2m 36s | |
| 8m 7s | |
| 2m 56s | |
| 44s | |
| 5m 56s | |
| 5m 49s | |
| 4m 42s | |
| 13m 48s | |
| 7s | |
| 3h 2m 21s |