Merge pull request #319781 from spk/plasticity-fix-curl

plasticity: fix update.sh
This commit is contained in:
Pol Dellaiera 2024-06-14 13:39:25 +02:00 committed by GitHub
commit 13b62fbe97
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -5,7 +5,7 @@
set -eu -o pipefail
version=$(curl -s ${GITHUB_TOKEN:+-u ":$GITHUB_TOKEN"} \
curl -s https://api.github.com/repos/nkallen/plasticity/releases/latest | jq -e -r ".tag_name | .[1:]")
https://api.github.com/repos/nkallen/plasticity/releases/latest | jq -e -r ".tag_name | .[1:]")
old_version=$(nix-instantiate --eval -A plasticity.version | jq -e -r)
if [[ $version == "$old_version" ]]; then