Drop support for 8.18 and 8.19 #256
proux01nix-action-coq-8.20.yml
on: pull_request_target
coq
40s
mathcomp-single
9m 11s
QuickChick
1m 50s
autosubst
1m 19s
deriving
1m 55s
reglang
1m 53s
relation-algebra
2m 17s
fourcolor
17m 46s
vcfloat
3m 24s
mathcomp-experimental-reals
3m 37s
coq-bits
2m 58s
jasmin
41s
odd-order
8m 2s
Annotations
7 errors
|
mathcomp-analysis
The operation was canceled.
|
|
mathcomp-analysis
The run was canceled by @proux01.
|
|
odd-order
The operation was canceled.
|
|
|
|
coqeal
The operation was canceled.
|
|
|
|
Nix CI for bundle coq-8.20
The run was canceled by @proux01.
|