From dee467b1b9d0362faacca494b96fe0ca851f798b Mon Sep 17 00:00:00 2001 From: Antonio Nuno Monteiro Date: Sat, 11 Nov 2023 23:16:03 -0800 Subject: [PATCH] rm hydra 4.13 (#1149) was testing 4.14 anyway --- ci/hydra.nix | 4 ---- 1 file changed, 4 deletions(-) diff --git a/ci/hydra.nix b/ci/hydra.nix index 3c7dc9f4e..9a720ab54 100644 --- a/ci/hydra.nix +++ b/ci/hydra.nix @@ -8,10 +8,6 @@ in with filter; { - build_4_13 = ocamlCandidates { - inherit pkgs; - ocamlVersion = "4_14"; - }; build_4_14 = ocamlCandidates { inherit pkgs; ocamlVersion = "4_14";