Merge pull request #668 from gares/fix-primproj-notype #289
nix-action-coq-master.yml
on: push
coq
4m 31s
mathcomp-analysis
11m 29s
coqeal
57s
odd-order
10m 55s
Annotations
1 error
coqeal
Process completed with exit code 1.
|