[CI] Add Coq 8.19 #192
Job | Run time |
---|---|
4m 13s | |
44s | |
52s | |
48s | |
1m 12s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
7m 49s |
Job | Run time |
---|---|
4m 13s | |
44s | |
52s | |
48s | |
1m 12s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
0s | |
7m 49s |