3 Commits

Include renames

Author	SHA1	Message	Date
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
renovate[bot]andWolfgang Walther	873ac6221e	chore(deps): pin dependencies	2024-02-24 21:15:38 +01:00
Wolfgang WaltherandWolfgang Walther	d6153be67a	ci: Split Lint & Style from Test workflow ... The Lint & Style job needs to run on all PRs, not only when something "test" related changes. Otherwise not all workflow, nix or other files are style-checked and linted.	2024-02-24 20:38:25 +01:00