Changed update-ui-assets to push to IoSL
All checks were successful
checks-impure / test (pull_request) Successful in 24s
checks / test (pull_request) Successful in 1m38s

This commit is contained in:
2023-10-31 20:41:16 +01:00
parent 63543aad29
commit 45fc4b8b4c
2 changed files with 7 additions and 2 deletions

View File

@@ -17,6 +17,11 @@ if [[ -z "${GITHUB_SERVER_URL:-}" ]]; then
exit 1
fi
if [[ -z "${GITHUB_REPOSITORY:-}" ]]; then
echo "Env var GITHUB_REPOSITORY is not set. Please use the repo path here."
exit 1
fi
DEPS=$(nix shell --inputs-from '.#' "nixpkgs#gnutar" "nixpkgs#gnused" "nixpkgs#curl" "nixpkgs#gzip" -c bash -c "echo \$PATH")
export PATH=$PATH:$DEPS