port to elpi 2.0 #325
garesnix-action-coq-8.18.yml
on: pull_request_target
coq
35s
mathcomp-single
1m 11s
Verdi
0s
autosubst
0s
deriving
0s
reglang
0s
relation-algebra
0s
coqeal
0s
odd-order
0s
Annotations
2 errors
|
mathcomp-ssreflect
Process completed with exit code 1.
|
|
mathcomp-single
Process completed with exit code 1.
|