[CI] Cleanup no longer useful overlays

LPCIC · Aug 14, 2024 · 59b4df5 · 59b4df5
1 parent 3c244d8
commit 59b4df5
Show file tree

Hide file tree

Showing 3 changed files with 0 additions and 109 deletions.
diff --git a/.nix/config.nix b/.nix/config.nix
@@ -1,6 +1,5 @@
 let common-bundles = {
   hierarchy-builder.override.version = "master";
-  hierarchy-builder-shim.job = false;
   mathcomp.override.version = "master";
   odd-order.override.version = "master";
   mathcomp-analysis.override.version = "master";

diff --git a/.nix/coq-overlays/coq-elpi/default.nix b/.nix/coq-overlays/coq-elpi/default.nix
diff --git a/.nix/coq-overlays/hierarchy-builder/default.nix b/.nix/coq-overlays/hierarchy-builder/default.nix