nix fmt #9

Merged
Luis merged 3 commits from Luis-main into main 2023-10-30 16:32:35 +00:00
2 changed files with 2 additions and 3 deletions

View File

@@ -118,4 +118,3 @@ Also set the option `Enable Status Check` to `build / test (pull_request)`
Add `merge-bot` and `ui-asset-bot` as collaborators.
Also set the option `Delete pull request branch after merge by default`
Also the the default merge style to `Rebase then create merge commit`

View File

@@ -17,7 +17,7 @@ if [[ -z "${GITHUB_SERVER_URL:-}" ]]; then
exit 1
fi
DEPS=$(nix shell --inputs-from '.#' "nixpkgs#gnutar" "nixpkgs#curl" "nixpkgs#gzip" -c bash -c "echo \$PATH")
DEPS=$(nix shell --inputs-from '.#' "nixpkgs#gnutar" "nixpkgs#gnused" "nixpkgs#curl" "nixpkgs#gzip" -c bash -c "echo \$PATH")
export PATH=$PATH:$DEPS
@@ -32,7 +32,7 @@ tar --transform 's,^\.,assets,' -czvf "$tmpdir/assets.tar.gz" -C "$tmpdir"/resul
NAR_HASH=$(nix-prefetch-url --unpack file://<(cat "$tmpdir/assets.tar.gz"))
owner=$BOT_NAME
package_name=ui
package_name=$(echo -n "$GITHUB_REPOSITORY" | sed 's/\//-/g')
package_version=$NAR_HASH
baseurl=$GITHUB_SERVER_URL