Unify Coq CI into a single .yml file #4250
Job | Run time |
---|---|
6m 18s | |
6m 13s | |
5m 56s | |
1m 18s | |
6m 36s | |
1s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
1s | |
26m 23s |
Job | Run time |
---|---|
6m 18s | |
6m 13s | |
5m 56s | |
1m 18s | |
6m 36s | |
1s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
1s | |
26m 23s |