Merge docker workflow into ci.yml and add more versions of Coq #1494
Job | Run time |
---|---|
20m 7s | |
20m 22s | |
23m 15s | |
18m 1s | |
24m 8s | |
25m 57s | |
25m 12s | |
23m 7s | |
23m 19s | |
16m 18s | |
16m 44s | |
16m 24s | |
18m 17s | |
17m 8s | |
17m 33s | |
24m 53s | |
18m 32s | |
19m 2s | |
18m 58s | |
18m 51s | |
18m 2s | |
18m 9s | |
19m 38s | |
19m 18s | |
22m 24s | |
17m 18s | |
17m 19s | |
19m 40s | |
19m 39s | |
20m 54s | |
20m 44s | |
19m 35s | |
17m 38s | |
19m 30s | |
18m 53s | |
20m 26s | |
18m 38s | |
21m 26s | |
17m 30s | |
19m 24s | |
19m 41s | |
19m 16s | |
21m 51s | |
18m 38s | |
17m 36s | |
19m 45s | |
4s | |
15h 9m 4s |