removing explicit test of master

LPCIC · Dec 23, 2023 · 6f5bcd5 · 6f5bcd5
1 parent feb3c84
commit 6f5bcd5
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -10,8 +10,6 @@
       hierarchy-builder.override.version = "coq-elpi-2";
       hierarchy-builder-shim.job = false;
 
-      coq-elpi.override.version = "master";
-
       mathcomp.override.version = "master";
       mathcomp.job = true;