Unverified Commit 16ac6b8d authored by Naïm Camille Favier's avatar Naïm Camille Favier Committed by GitHub
Browse files

nixosTests.agda.base: fix build (#459767)

parents f62d8dbd 4947d15d

nixos/tests/agda/base.nix

+0 −1
Original line number Diff line number Diff line
@@ -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")