add docker pw and uname

This commit is contained in:
Patrick Brosi 2020-12-02 19:26:40 +01:00
parent 9a8a64d38e
commit b9897bdd97
2 changed files with 19 additions and 22 deletions

View file

@ -3,4 +3,4 @@ set -ex
set -o pipefail
echo "$DOCKER_PASSWORD" | docker login -u "$DOCKER_USERNAME" --password-stdin
docker push ad-freiburg/pfaedle
docker push adfreiburg/pfaedle