diff options
Diffstat (limited to 'scripts/ci')
| -rwxr-xr-x | scripts/ci/provision.sh | 2 | ||||
| -rwxr-xr-x | scripts/ci/setup.sh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/scripts/ci/provision.sh b/scripts/ci/provision.sh index 9572ea7..a89ffc5 100755 --- a/scripts/ci/provision.sh +++ b/scripts/ci/provision.sh @@ -1,5 +1,5 @@ #!/usr/bin/env nix-shell -#!nix-shell -i bash +#!nix-shell -i bash ../../shell.nix # shellcheck shell=bash set -Eeuo pipefail cd "$(dirname "${BASH_SOURCE[0]}")" diff --git a/scripts/ci/setup.sh b/scripts/ci/setup.sh index b6ab06f..de8a165 100755 --- a/scripts/ci/setup.sh +++ b/scripts/ci/setup.sh @@ -1,5 +1,5 @@ #!/usr/bin/env nix-shell -#!nix-shell -i bash +#!nix-shell -i bash ../../shell.nix # shellcheck shell=bash set -Eeuo pipefail cd "$(dirname "${BASH_SOURCE[0]}")" |