Skip to content

Commit

Permalink
Do we have a GH Token?
Browse files Browse the repository at this point in the history
  • Loading branch information
frcroth committed Mar 18, 2024
1 parent 04f5600 commit c23f1a9
Showing 1 changed file with 15 additions and 0 deletions.
15 changes: 15 additions & 0 deletions .circleci/config.yml
Original file line number Diff line number Diff line change
Expand Up @@ -24,6 +24,21 @@ jobs:
echo "export NORMALIZED_BRANCH=master" >> $BASH_ENV
echo "export DOCKER_TAG=${CIRCLE_TAG}" >> $BASH_ENV
fi
- run:
name: Test GH Token
command: |
if [ -n "$GH_TOKEN" ]; then
echo "GH_TOKEN is set"
sudo mkdir -p -m 755 /etc/apt/keyrings && wget -qO- https://cli.github.com/packages/githubcli-archive-keyring.gpg | sudo tee /etc/apt/keyrings/githubcli-archive-keyring.gpg > /dev/null \
&& sudo chmod go+r /etc/apt/keyrings/githubcli-archive-keyring.gpg \
&& echo "deb [arch=$(dpkg --print-architecture) signed-by=/etc/apt/keyrings/githubcli-archive-keyring.gpg] https://cli.github.com/packages stable main" | sudo tee /etc/apt/sources.list.d/github-cli.list > /dev/null \
&& sudo apt update \
&& sudo apt install gh -y
gh auth status
else
echo "GH_TOKEN is not set"
exit 1
fi
- run:
name: Build webknossos-dev docker image
command: |
Expand Down

0 comments on commit c23f1a9

Please sign in to comment.