CI on the branch

Author: gares

.nix/config.nix

@@ -3,7 +3,7 @@
   attribute = "hierarchy-builder";
   default-bundle = "coq-8.13";
   bundles = let common = {
-      mathcomp.override.version = "hierarchy-builder";
+      mathcomp.override.version = "hierarchy-builder-lock";
       mathcomp.job = false;
       mathcomp-single.job = true;
   }; in {