Skip to content

Commit

Permalink
Docker images have migrated to GitHub (#33)
Browse files Browse the repository at this point in the history
  • Loading branch information
MatthijsBurgh authored Mar 26, 2023
1 parent 87154cc commit d0cc74d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .ci/install.bash
Original file line number Diff line number Diff line change
Expand Up @@ -41,7 +41,7 @@ echo -e "\e[35m\e[1mBRANCH = ${BRANCH}\e[0m"
echo -e "\e[35m\e[1mSKIPLIST = ${SKIPLIST}\e[0m"

# Set default value for IMAGE_NAME
[ -z "${IMAGE_NAME}" ] && IMAGE_NAME='tuerobotics/tue-env-ros-noetic'
[ -z "${IMAGE_NAME}" ] && IMAGE_NAME='ghcr.io/tue-robotics/tue-env-ros-noetic'
echo -e "\e[35m\e[1mIMAGE_NAME = ${IMAGE_NAME}\e[0m"

# Determine docker tag if the same branch exists there
Expand Down

0 comments on commit d0cc74d

Please sign in to comment.