fix nix flake check

Author: anmonteiro

ci/filter.nix

@@ -205,10 +205,14 @@ let
     "owl"
     "owl-base"
   ];
+
+  aarch64LinuxIgnores = [
+    "elina"
+  ];
 in
 
 rec {
-  inherit ocaml5Ignores darwinIgnores;
+  inherit ocaml5Ignores darwinIgnores aarch64LinuxIgnores;
   ocamlCandidates =
     { pkgs
     , ocamlVersion

ci/hydra.nix

@@ -3,14 +3,19 @@ let
   inherit (pkgs) lib stdenv;
   filter = pkgs.callPackage ./filter.nix { };
   isDarwin = system == "aarch64-darwin" || system == "x86_64-darwin";
-  extraIgnores = if isDarwin then filter.darwinIgnores else [ ];
+  extraIgnores =
+    if isDarwin
+    then filter.darwinIgnores
+    else if system == "aarch64-linux" then filter.aarch64LinuxIgnores
+    else [ ];
 in
 
 with filter;
 {
   build_4_14 = ocamlCandidates {
     inherit pkgs;
     ocamlVersion = "4_14";
+    extraIgnores = extraIgnores;
   };
   build_5_1 = ocamlCandidates {
     inherit pkgs;