Skip to content

Fix the CI by updating the coq pin in nix flake #1333

Fix the CI by updating the coq pin in nix flake

Fix the CI by updating the coq pin in nix flake #1333

Job Run time
8m 12s
8m 12s
8m 12s
8m 12s
8m 12s
8m 38s
8m 38s
8m 38s
8m 38s
8m 38s
0s
0s
0s
0s
0s
7m 57s
7m 57s
7m 57s
7m 57s
7m 57s
1m 25s
1m 25s
1m 25s
1m 25s
1m 25s
8m 45s
8m 45s
8m 45s
8m 45s
8m 45s
58s
58s
58s
58s
58s
8m 21s
8m 21s
8m 21s
8m 21s
8m 21s
3m 44s
3m 44s
3m 44s
3m 44s
3m 44s
8m 20s
8m 20s
8m 20s
8m 20s
8m 20s
1m 8s
1m 8s
1m 8s
1m 8s
1m 8s
3m 21s
3m 21s
3m 21s
3m 21s
3m 21s
3m 22s
3m 22s
3m 22s
3m 22s
3m 22s
3m 23s
3m 23s
3m 23s
3m 23s
3m 23s
3m 21s
3m 21s
3m 21s
3m 21s
3m 21s
6m 12s
6m 12s
6m 12s
6m 12s
6m 12s
6m 21s
6m 21s
6m 21s
6m 21s
6m 21s
4m 57s
5m 4s
6m 5s
6m 5s
6m 5s
5m 12s
12m 15s
12m 15s
12m 15s
12m 15s
13m 20s
13m 20s
13m 20s
13m 20s
13m 20s
4m 48s
4m 53s
4m 53s
5m 25s
5m 59s
18m 16s
18m 16s
18m 16s
18m 16s
18m 16s
7m 11s
14m 49s
14m 49s
14m 49s
14m 49s
0s
0s
0s
0s
0s
12h 30m 13s