From 4947d15dffdab7a02bc9d05e4401c19a2d62fc45 Mon Sep 17 00:00:00 2001 From: quantenzitrone Date: Sat, 8 Nov 2025 15:25:24 +0100 Subject: [PATCH] nixosTests.agda.base: fix build the binary adga-mode has been deprecated one is supposed to use the main binary with --emacs-mode instead --- nixos/tests/agda/base.nix | 1 - 1 file changed, 1 deletion(-) diff --git a/nixos/tests/agda/base.nix b/nixos/tests/agda/base.nix index f804abda6f62..9fafd2f46000 100644 --- a/nixos/tests/agda/base.nix +++ b/nixos/tests/agda/base.nix @@ -26,7 +26,6 @@ in testScript = '' # agda and agda-mode are in path machine.succeed("agda --version") - machine.succeed("agda-mode") # Minimal script that typechecks machine.succeed("touch TestEmpty.agda")