Merge pull request #518 from proux01/ci-update #452
proux01nix-action-coq-master.yml
on: push
coq
40s
mathcomp-single
42s
fourcolor
0s
odd-order
0s
Annotations
9 errors
|
mathcomp-algebra
The run was canceled by @proux01.
|
|
|
|
deriving
The operation was canceled.
|
|
mathcomp-bigenough
The run was canceled by @proux01.
|
|
mathcomp-bigenough
The operation was canceled.
|
|
|
|
reglang
The operation was canceled.
|
|
mathcomp-finmap
The run was canceled by @proux01.
|
|
mathcomp-finmap
The operation was canceled.
|