add kernels, upd deps #68
nix-action-8.19.yml
on: push
coq
1m 10s
mathcomp
1m 6s
mathcomp-analysis
12m 41s
mathcomp-analysis-single
12m 42s