Merge pull request 'rename checks-integration -> checks-impure' (#195) from Mic92-main into main
This commit is contained in:
@@ -8,4 +8,4 @@ jobs:
|
|||||||
runs-on: nix
|
runs-on: nix
|
||||||
steps:
|
steps:
|
||||||
- uses: actions/checkout@v3
|
- uses: actions/checkout@v3
|
||||||
- run: nix run .#checks-integration
|
- run: nix run .#checks-impure
|
||||||
@@ -37,7 +37,7 @@
|
|||||||
packages =
|
packages =
|
||||||
integrationTests // {
|
integrationTests // {
|
||||||
# a script that executes all other checks
|
# a script that executes all other checks
|
||||||
checks-integration = pkgs.writeShellScriptBin "checks-integration" ''
|
checks-impure = pkgs.writeShellScriptBin "checks-impure" ''
|
||||||
#!${pkgs.bash}/bin/bash
|
#!${pkgs.bash}/bin/bash
|
||||||
set -euo pipefail
|
set -euo pipefail
|
||||||
${lib.concatMapStringsSep "\n" (name: ''
|
${lib.concatMapStringsSep "\n" (name: ''
|
||||||
|
|||||||
Reference in New Issue
Block a user