Merge pull request #396 from proux01/ci_coqeal

[CI] Update Nix toolbox and add CoqEAL

Author: CohenCyril

.github/workflows/nix-action-coq-8.16.yml

@@ -16,11 +16,17 @@
       reglang.override.version = "master";
       coq-bits.override.version = "hierarchy-builder";
       deriving.job = false;
+      mathcomp-bigenough.override.version = "master";
+      multinomials.override.version = "master";
+      mathcomp-real-closed.override.version = "master";
+      coqeal.override.version = "master";
     };
   in {
     "coq-master".coqPackages = mcHBcommon // {
       coq.override.version = "master";
       coq-elpi.override.version = "coq-master";
+      bignums.override.version = "master";
+      paramcoq.override.version = "master";
       interval.job = false;
     };
 

.github/workflows/nix-action-coq-8.17.yml

@@ -1 +1 @@
-"accbf62bf243fec26c8b20f1ffa471e3690c01cd"
+"71d6279e9d375343aaff640fa826f3469c02958c"