Skip to content

Coq: make printing parentheses/notations flags accessible #251

Coq: make printing parentheses/notations flags accessible

Coq: make printing parentheses/notations flags accessible #251

Job Run time
33s
50s
41s
50s
4m 9s
47s
4m 8s
1m 52s
4m 16s
50s
1m 52s
4m 10s
49s
2m 10s
4m 2s
52s
1m 54s
1m 20s
4m 3s
1m 3s
4m 18s
1m 19s
1m 0s
1m 55s
4m 10s
1m 0s
1m 27s
4m 58s
1m 52s
1m 22s
5m 25s
1m 58s
1m 27s
4m 59s
2m 1s
40s
1m 24s
2m 32s
4m 51s
42s
1m 41s
2m 31s
4m 42s
43s
2m 29s
4m 56s
39s
2m 5s
1m 27s
5m 4s
38s
1m 58s
2m 10s
5m 5s
45s
2m 32s
2m 1s
5m 8s
51s
2m 27s
1m 59s
5m 12s
52s
2m 32s
1m 35s
4m 41s
51s
2m 30s
4m 40s
1m 34s
2m 37s
4m 40s
2m 2s
4m 43s
2m 3s
2m 0s
31s
5m 8s
2m 17s
2m 5s
29s
5m 12s
1m 58s
30s
2m 4s
5m 11s
2m 0s
26s
2m 8s
5m 21s
1m 29s
28s
2m 35s
5m 46s
30s
1m 40s
2m 31s
5m 37s
39s
1m 29s
2m 49s
5m 39s
39s
1m 33s
2m 35s
5m 40s
40s
1m 56s
3m 6s
5m 38s
2m 2s
3m 2s
5m 36s
2m 8s
3m 2s
5m 40s
2m 1s
3m 5s
5m 38s
2m 31s
3m 7s
5m 34s
2m 25s
3m 2s
2m 33s
2m 58s
2m 27s
3m 0s
2m 30s
3m 2s
2m 28s
2m 34s
2m 27s
2m 27s
5h 48m 32s