[CI] Add Coq 8.19 #195
nix-action-coq-master.yml
on: pull_request
coq
26s
mathcomp-single
24s
fourcolor
12m 58s
coq-bits
1m 7s
coqeal
3m 9s
odd-order
11m 28s