Drop support for 8.18 and 8.19 #255
proux01nix-action-coq-8.20.yml
on: pull_request
coq
36s
mathcomp-single
8m 56s
QuickChick
2m 4s
coq-bits
3m 15s
mathcomp-experimental-reals
2m 11s
odd-order
9m 8s
Annotations
7 errors
|
odd-order
The operation was canceled.
|
|
|
|
coqeal
The operation was canceled.
|
|
|
|
mathcomp-analysis
The operation was canceled.
|
|
mathcomp-analysis
The run was canceled by @proux01.
|
|
Nix CI for bundle coq-8.20
The run was canceled by @proux01.
|