Update HB branch in Nix CI (#67)

coq-community · Nov 22, 2023 · 892b5e0 · 892b5e0
1 parent 897778d
commit 892b5e0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -82,7 +82,7 @@
     "master".coqPackages = {
       coq.override.version = "master";
       coq-elpi.override.version = "coq-master";
-      hierarchy-builder.override.version = "proux01:coq-master";
+      hierarchy-builder.override.version = "master";
       mathcomp.override.version = "master";
     };
     "8.17".coqPackages = {