diff --git a/.circleci/bin/ghinstall b/.circleci/bin/ghinstall index fd78d5e..4bef990 100755 --- a/.circleci/bin/ghinstall +++ b/.circleci/bin/ghinstall @@ -12,3 +12,10 @@ echo "deb [arch=$(dpkg --print-architecture) signed-by=/usr/share/keyrings/githu sudo apt update sudo apt install gh + +if [ -z "${GITHUB_TOKEN:-}" ]; then + echo "GITHUB_TOKEN is not set" + exit 1 +fi + +gh auth login --with-token <<< "${GITHUB_TOKEN}"