[coq] Support for token-based interruption #2412
Job | Run time |
---|---|
2m 0s | |
23s | |
3m 20s | |
8m 52s | |
8m 36s | |
8m 52s | |
10m 3s | |
57s | |
9m 35s | |
9m 12s | |
10m 50s | |
10m 13s | |
17m 35s | |
1h 40m 28s |
Job | Run time |
---|---|
2m 0s | |
23s | |
3m 20s | |
8m 52s | |
8m 36s | |
8m 52s | |
10m 3s | |
57s | |
9m 35s | |
9m 12s | |
10m 50s | |
10m 13s | |
17m 35s | |
1h 40m 28s |