Adapt to https://github.com/math-comp/math-comp/pull/1354 #10
proux01nix-action-9.0.yml
on: pull_request_target
coq
40s
fourcolor
1m 31s
Annotations
1 error
|
fourcolor
Process completed with exit code 1.
|