Skip to content

Prooftree updates

Prooftree updates #582

Job Run time
48s
43s
38s
38s
27s
1m 53s
40s
4m 10s
41s
4m 6s
42s
4m 17s
58s
1m 34s
1m 54s
4m 13s
1m 30s
41s
1m 50s
1m 31s
4m 4s
1m 52s
33s
4m 6s
1m 38s
1m 50s
36s
4m 14s
1m 24s
1m 49s
4m 19s
38s
1m 25s
1m 59s
41s
4m 38s
1m 32s
1m 58s
4m 34s
31s
1m 34s
4m 32s
1m 53s
37s
1m 38s
4m 38s
1m 55s
1m 35s
4m 40s
1m 56s
1m 33s
4m 43s
1m 57s
1m 36s
4m 36s
2m 4s
1m 31s
4m 40s
1m 59s
1m 37s
4m 34s
1m 59s
1m 35s
4m 42s
1m 55s
4m 30s
1m 35s
2m 2s
4m 42s
1m 36s
2m 1s
4m 45s
1m 40s
1m 54s
4m 42s
1m 34s
1m 56s
4m 45s
1m 31s
1m 52s
4m 47s
1m 34s
1m 59s
4m 48s
1m 39s
2m 19s
1m 45s
5m 33s
2m 5s
1m 39s
5m 37s
2m 1s
1m 35s
5m 31s
2m 48s
2m 23s
2m 45s
5m 47s
2m 26s
2m 49s
5m 41s
2m 49s
5m 38s
2m 49s
2m 28s
2m 50s
2m 28s
2m 44s
5m 43s
2m 28s
2m 27s
2m 26s
25s
21s
26s
21s
21s
21s
26s
4h 50m 21s