CI less

Author: proux01

.nix/config.nix

@@ -197,33 +197,33 @@ with builtins; with (import <nixpkgs> {}).lib;
       stdlib-refman-html.job = true;
       stdlib-subcomponents.job = true;
       stdlib-test.job = true;
-      atbr.override.version = "split_stdlib";
-      bedrock2.override.version = "proux01:split_stdlib";
+      atbr.override.version = "split_stdlib";  # would be remove by moving BinNums.v back to Numbers
+      bedrock2.override.version = "proux01:split_stdlib";  # to test
       dpdgraph-test.override.version = "coq_19310";
       compcert.override.version = "proux01:split_stdlib";
       coq-elpi.override.version = "proux01:split_stdlib";
       coq-elpi-test.override.version = "proux01:split_stdlib";
       coq-tools.override.version = "proux01:split_stdlib";
-      coqutil.override.version = "proux01:split_stdlib";
-      corn.override.version = "split_stdlib";
-      cross-crypto.override.version = "proux01:split_stdlib";
+      coqutil.override.version = "proux01:split_stdlib";  # to test
+      corn.override.version = "split_stdlib";  # to test (would probably require a dummy module for move of Qreals.v)
+      cross-crypto.override.version = "proux01:split_stdlib";  # would require a dummy module for move of SetoidList?
       equations.override.version = "proux01:split_stdlib";
-      equations-test.override.version = "proux01:split_stdlib";
-      fiat-crypto.override.version = "proux01:split_stdlib";
+      equations-test.override.version = "proux01:split_stdlib";  # would be remove by moving BinNums.v back to Numbers
+      fiat-crypto.override.version = "proux01:split_stdlib";  # to test
       flocq.override.version = "split_stdlib";
-      kami.override.version = "proux01:split_stdlib";
-      math-classes.override.version = "split_stdlib";
+      kami.override.version = "proux01:split_stdlib";  # to test
+      math-classes.override.version = "split_stdlib";  # to test (would probably require a dummy module for move of Qreals.v)
       metacoq.override.version = "proux01:split_stdlib";
       QuickChick.override.version = "proux01:split_stdlib";
       quickchick-test.override.version = "proux01:split_stdlib";
-      relation-algebra.override.version = "proux01:split_stdlib";
-      rewriter.override.version = "proux01:split_stdlib";
-      rupicola.override.version = "proux01:split_stdlib";
-      sf.override.version = "proux01:split_stdlib";
+      relation-algebra.override.version = "proux01:split_stdlib";  # to test after moving back BinNums.v but likely not
+      rewriter.override.version = "proux01:split_stdlib";  # to test
+      rupicola.override.version = "proux01:split_stdlib";  # would require "Require Coq.Numbers.DecimalString" to work again
+      sf.override.version = "proux01:split_stdlib";  # to test (I would expect it to work again but might just be an ordering issue with extraction results)
       smtcoq-trakt.override.version = "proux01:split_stdlib-trakt";
-      stalmarck-tactic.override.version = "split_stdlib";
+      stalmarck-tactic.override.version = "split_stdlib";  # should no longer be needed after moving back BinNums.v
       # tlc.override.version = "master-for-coq-ci"; # -> overlay
-      tlc.override.version = "proux01:split_stdlib";
+      tlc.override.version = "proux01:split_stdlib";  # to test (I would expect it to work)
       vst.override.version = "proux01:split_stdlib";
 
       # Free overlays (can be merged independently of the PR)