diff options
author | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-07-15 12:35:15 +0200 |
---|---|---|
committer | sternenseemann <0rpkxez4ksa01gb3typccl0i@systemli.org> | 2021-07-22 15:33:08 +0200 |
commit | 7d20323b117efe1821baaa12c2e2bc641c580568 (patch) | |
tree | 5113a7fb28eb1ce1ee3def4dc17cacfb4c046d0a /pkgs/top-level | |
parent | d288d874a896fbd4932b565cca2088e172460220 (diff) | |
download | nixpkgs-7d20323b117efe1821baaa12c2e2bc641c580568.tar nixpkgs-7d20323b117efe1821baaa12c2e2bc641c580568.tar.gz nixpkgs-7d20323b117efe1821baaa12c2e2bc641c580568.tar.bz2 nixpkgs-7d20323b117efe1821baaa12c2e2bc641c580568.tar.lz nixpkgs-7d20323b117efe1821baaa12c2e2bc641c580568.tar.xz nixpkgs-7d20323b117efe1821baaa12c2e2bc641c580568.tar.zst nixpkgs-7d20323b117efe1821baaa12c2e2bc641c580568.zip |
top-level/release-haskell.nix: add agda packages and test to jobset
Since the agda compiler is updated via haskellPackages.Agda, we are quite likely to cause regressions in agdaPackages when the language is changed via compiler updates. Thus we should build agdaPackages (which is very small) as part of the haskell-updates jobset and track if basic agda functionality (compiler and standard library) is working.
Diffstat (limited to 'pkgs/top-level')
-rw-r--r-- | pkgs/top-level/release-haskell.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/top-level/release-haskell.nix b/pkgs/top-level/release-haskell.nix index 5ca21134275..151a415f476 100644 --- a/pkgs/top-level/release-haskell.nix +++ b/pkgs/top-level/release-haskell.nix @@ -91,6 +91,9 @@ let tests.haskell = packagePlatforms pkgs.tests.haskell; + nixosTests.agda = (packagePlatforms pkgs.nixosTests).agda; + agdaPackages = packagePlatforms pkgs.agdaPackages; + pkgsMusl.haskell.compiler = packagePlatforms pkgs.pkgsMusl.haskell.compiler // { # remove musl ghc865Binary since it is known to be broken and # causes an evaluation error on darwin. |