gador/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Refactor tests/agda.nix to support more tests

Browse Source
This commit is contained in:
Carlos Tomé Cortiñas
2025-10-20 10:20:52 +02:00
parent cd8deb7309
commit ab75be0a25
4 changed files with 7 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
ci/OWNERS
View File

@@ -343,7 +343,7 @@ pkgs/development/python-modules/buildcatrust/ @ajs124 @lukegb @mweinelt
/pkgs/top-level/agda-packages.nix @NixOS/agda /pkgs/top-level/agda-packages.nix @NixOS/agda
/pkgs/development/libraries/agda @NixOS/agda /pkgs/development/libraries/agda @NixOS/agda
/doc/languages-frameworks/agda.section.md @NixOS/agda /doc/languages-frameworks/agda.section.md @NixOS/agda
/nixos/tests/agda.nix @NixOS/agda /nixos/tests/agda @NixOS/agda
# Idris # Idris
/pkgs/development/idris-modules @Infinisil /pkgs/development/idris-modules @Infinisil

0
nixos/tests/agda.nix → nixos/tests/agda/base.nix
View File

3
nixos/tests/agda/default.nix Normal file
View File

@@ -0,0 +1,3 @@
{ runTest }: {
base = runTest ./base.nix;
}

4
nixos/tests/all-tests.nix
View File

@@ -203,7 +203,9 @@ in
adguardhome = runTest ./adguardhome.nix; adguardhome = runTest ./adguardhome.nix;
aesmd = runTestOn [ "x86_64-linux" ] ./aesmd.nix; aesmd = runTestOn [ "x86_64-linux" ] ./aesmd.nix;
agate = runTest ./web-servers/agate.nix; agate = runTest ./web-servers/agate.nix;
agda = runTest ./agda.nix; agda = import ./agda {
inherit runTest;
};
age-plugin-tpm-decrypt = runTest ./age-plugin-tpm-decrypt.nix; age-plugin-tpm-decrypt = runTest ./age-plugin-tpm-decrypt.nix;
agnos = discoverTests (import ./agnos.nix); agnos = discoverTests (import ./agnos.nix);
agorakit = runTest ./web-apps/agorakit.nix; agorakit = runTest ./web-apps/agorakit.nix;