Update coq-opam-package.yml #523
Job | Run time |
---|---|
1h 39m 28s | |
15s | |
58s | |
14m 6s | |
13m 49s | |
27m 15s | |
54m 39s | |
2h 19m 49s | |
1m 14s | |
43s | |
4s | |
5h 52m 20s |
Job | Run time |
---|---|
1h 39m 28s | |
15s | |
58s | |
14m 6s | |
13m 49s | |
27m 15s | |
54m 39s | |
2h 19m 49s | |
1m 14s | |
43s | |
4s | |
5h 52m 20s |