ci/shell: init

The dev shell can now be built locally the same way as in CI with:

  nix-build ci -A shell
This commit is contained in:
Wolfgang Walther 2025-05-06 21:39:59 +02:00
parent d253ad12b2
commit 7c16d15d7f
No known key found for this signature in database
GPG key ID: B39893FA5F65CAE1
2 changed files with 2 additions and 1 deletions

View file

@ -30,4 +30,4 @@ jobs:
- uses: cachix/install-nix-action@526118121621777ccd86f79b04685a9319637641 # v31
- name: Build shell
run: nix-build shell.nix
run: nix-build ci -A shell

View file

@ -76,4 +76,5 @@ in
manual-nixos = (import ../nixos/release.nix { }).manual.${system} or null;
manual-nixpkgs = (import ../pkgs/top-level/release.nix { }).manual;
manual-nixpkgs-tests = (import ../pkgs/top-level/release.nix { }).manual.tests;
shell = import ../shell.nix { inherit nixpkgs system; };
}