diff --git a/nixos/tests/agda.nix b/nixos/tests/agda.nix
index 3f48c8353b63..dfc733f4f576 100644
--- a/nixos/tests/agda.nix
+++ b/nixos/tests/agda.nix
@@ -1,49 +1,47 @@
-import ./make-test-python.nix (
-  { pkgs, ... }:
+{ pkgs, ... }:
 
-  let
-    hello-world = pkgs.writeText "hello-world" ''
-      {-# OPTIONS --guardedness #-}
-      open import IO
-      open import Level
+let
+  hello-world = pkgs.writeText "hello-world" ''
+    {-# OPTIONS --guardedness #-}
+    open import IO
+    open import Level
 
-      main = run {0ℓ} (putStrLn "Hello World!")
-    '';
-  in
-  {
-    name = "agda";
-    meta = with pkgs.lib.maintainers; {
-      maintainers = [
-        alexarice
-        turion
+    main = run {0ℓ} (putStrLn "Hello World!")
+  '';
+in
+{
+  name = "agda";
+  meta = with pkgs.lib.maintainers; {
+    maintainers = [
+      alexarice
+      turion
+    ];
+  };
+
+  nodes.machine =
+    { pkgs, ... }:
+    {
+      environment.systemPackages = [
+        (pkgs.agda.withPackages {
+          pkgs = p: [ p.standard-library ];
+        })
       ];
+      virtualisation.memorySize = 2000; # Agda uses a lot of memory
     };
 
-    nodes.machine =
-      { pkgs, ... }:
-      {
-        environment.systemPackages = [
-          (pkgs.agda.withPackages {
-            pkgs = p: [ p.standard-library ];
-          })
-        ];
-        virtualisation.memorySize = 2000; # Agda uses a lot of memory
-      };
+  testScript = ''
+    # Minimal script that typechecks
+    machine.succeed("touch TestEmpty.agda")
+    machine.succeed("agda TestEmpty.agda")
 
-    testScript = ''
-      # Minimal script that typechecks
-      machine.succeed("touch TestEmpty.agda")
-      machine.succeed("agda TestEmpty.agda")
-
-      # Hello world
-      machine.succeed(
-          "cp ${hello-world} HelloWorld.agda"
-      )
-      machine.succeed("agda -l standard-library -i . -c HelloWorld.agda")
-      # Check execution
-      assert "Hello World!" in machine.succeed(
-          "./HelloWorld"
-      ), "HelloWorld does not run properly"
-    '';
-  }
-)
+    # Hello world
+    machine.succeed(
+        "cp ${hello-world} HelloWorld.agda"
+    )
+    machine.succeed("agda -l standard-library -i . -c HelloWorld.agda")
+    # Check execution
+    assert "Hello World!" in machine.succeed(
+        "./HelloWorld"
+    ), "HelloWorld does not run properly"
+  '';
+}
diff --git a/nixos/tests/all-tests.nix b/nixos/tests/all-tests.nix
index 917777d1ce2d..d2a1bd8d29d1 100644
--- a/nixos/tests/all-tests.nix
+++ b/nixos/tests/all-tests.nix
@@ -152,7 +152,7 @@ in {
   adguardhome = runTest ./adguardhome.nix;
   aesmd = runTestOn ["x86_64-linux"] ./aesmd.nix;
   agate = runTest ./web-servers/agate.nix;
-  agda = handleTest ./agda.nix {};
+  agda = runTest ./agda.nix;
   age-plugin-tpm-decrypt = runTest ./age-plugin-tpm-decrypt.nix;
   agorakit = runTest ./web-apps/agorakit.nix;
   airsonic = handleTest ./airsonic.nix {};