Merge pull request #356 from proux01/missing_join_message

Missing join message

Author: gares

.github/workflows/main.yml

@@ -19,6 +19,7 @@ jobs:
         coq_version:
           - '8.15'
           - '8.16'
+          - '8.17'
     steps:
     - uses: actions/checkout@v2
     - uses: coq-community/docker-coq-action@v1

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

@@ -1,37 +1,37 @@
 {
   format = "1.0.0";
   attribute = "hierarchy-builder";
-  default-bundle = "coq-8.15";
+  default-bundle = "coq-8.16";
   bundles = let
     mcHBcommon = {
       mathcomp.override.version = "hierarchy-builder";
       mathcomp.job = true;
       mathcomp-single.job = true;
       hierarchy-builder-shim.job = true;
       mathcomp-single-planB-src.job = true;
-      mathcomp-single-planB.job = true;
       graph-theory.job = false;
       fourcolor.override.version = "master";
-      odd-order.override.version = "hirarchy-builder";
-      mathcomp-finmap.override.version = "proux01:hierarchy-builder";
-      mathcomp.analyis.override.version = "#694";
+      odd-order.override.version = "master";
+      mathcomp-finmap.override.version = "master";
+      mathcomp.analyis.override.version = "hierarchy-builder";
+      interval.override.version = "master";
+      reglang.override.version = "hierarchy-builder";
+      coq-bits.override.version = "hierarchy-builder";
+      deriving.job = false;
     };
   in {
-    "coq-mcHB-8.16".coqPackages = {
-      coq.override.version = "8.16";
-      mathcomp-analysis.override.version = "coq816";
-    } // mcHBcommon;
-
-    "coq-mcHB-8.15".coqPackages = {
-      coq.override.version = "8.15";
+    "coq-8.17".coqPackages = {
+      coq.override.version = "8.17";
     } // mcHBcommon;
 
     "coq-8.16".coqPackages = {
       coq.override.version = "8.16";
-      mathcomp.override.version = "mathcomp-1.15.0";
-    };
+    } // mcHBcommon;
+
     "coq-8.15".coqPackages = {
       coq.override.version = "8.15";
+      mathcomp.job = false;
+      mathcomp-infotheo.job = false;
     };
   };
   cachix.coq = {};

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

@@ -1 +1 @@
-"4f0eb194b37b6e0db28be2eb4643bd6924abf7ab"
+"721d4a5e7a4db115f7576828c354d62a84d7055b"

.github/workflows/nix-action-coq-mcHB-8.15.yml renamed to .github/workflows/nix-action-coq-8.17.yml

@@ -1,5 +1,2 @@
-{ mathcomp, coq-elpi, hierarchy-builder, version ? null }:
-(mathcomp.override {single = true;}).overrideAttrs (old: {
-  propagatedBuildInputs = old.propagatedBuildInputs ++
-                          [ coq-elpi hierarchy-builder ];
-})
+{ mathcomp, version ? null }:
+mathcomp.override {single = true; inherit version;}