adapt to rocq-prover/rocq#20707 #690
proux01nix-action-9.0.yml
on: pull_request_target
coq
34s
mathcomp-analysis-single
0s
mathcomp-analysis-stdlib
0s
ssprove
0s
Annotations
3 errors
|
coq
The operation was canceled.
|
|
|
|
Nix CI for bundle 9.0
The run was canceled by @proux01.
|