tests: re-enable tests that work

This commit is contained in:
Gaetan Lepage 2025-03-04 10:09:08 +01:00 committed by Gaétan Lepage
parent 6f8d8f7aee
commit 9851246241
29 changed files with 36 additions and 180 deletions

View file

@ -1,12 +1,4 @@
{ lib, pkgs, ... }:
let
platform = pkgs.stdenv.hostPlatform;
# TODO: `cadical`, one of `lean4`'s dependencies is broken on x86_64-darwin
# https://github.com/NixOS/nixpkgs/pull/371275
doRun = !(platform.isDarwin && platform.isx86_64);
in
lib.optionalAttrs doRun {
{
empty = {
plugins.lean.enable = true;
};