Wolfgang Walther a090f28cea ci: Install only the required nix tools ...

A previous commit allowed to select each tool separately on the toolbox.

This commit makes use of that for CI to possibly speed up loading from cachix
a little bit. It will also cause fewer cache misses when nix code is changed.

Resolves #3183

2024-02-26 22:06:01 +01:00

..

build.yaml

ci: Remove matrix build for GHC 9.4.8 via Cabal on Linux

2024-02-26 22:06:01 +01:00

check.yaml

ci: Install only the required nix tools

2024-02-26 22:06:01 +01:00

ci.yaml

ci: Install only the required nix tools

2024-02-26 22:06:01 +01:00

docs.yaml

ci: Install only the required nix tools

2024-02-26 22:06:01 +01:00

report.yaml

ci: Prevent Upload Reports job from running on release branches

2024-02-24 23:33:25 +01:00

test.yaml

ci: Install only the required nix tools

2024-02-26 22:06:01 +01:00