Fix deprecation warning about mapAttrsFlatten

coq-community · Aug 22, 2024 · 0d9ff83 · 0d9ff83
1 parent 2f11907
commit 0d9ff83
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/config-parser-1.0.0/ci.nix b/config-parser-1.0.0/ci.nix
@@ -8,7 +8,7 @@ with builtins; with lib;
     collect-jobs = p: flatten (map collect-job (attrValues p));
     jobs = collect-jobs (bundle.coqPackages or {});
     excluded-pkg = n: v: if v?job && v.job == "_excluded" then [ n ] else [];
-    excluded = flatten (mapAttrsFlatten excluded-pkg
+    excluded = flatten (mapAttrsToList excluded-pkg
       (bundle.coqPackages or {}));
     main-job = v: if (v.main-job or false) && (v.job or "" != "_excluded")
                   then [ v.job ] else [];