Merge pull request #736 from FissoreD/fix-modes #526
nix-action-coq-master.yml
on: push
coq
1m 5s
multinomials
2m 12s
mathcomp-real-closed
4m 5s
mathcomp-experimental-reals
2m 3s
mathcomp-analysis-stdlib
1m 56s
odd-order
8m 44s
Annotations
21 warnings