add algebra-tactics to ci #3
nix-action-default.yml
on: pull_request
coq-elpi
1m 7s
graph-theory
20m 34s
jasmin
13m 29s
coqeal
12m 23s
mathcomp-analysis-stdlib
19m 2s
ssprove
29m 0s
odd-order
17m 33s