devops: use a helper script to tag and push docker images (#3737)

It turns out that the new `docker push --all-tags` is not yet available
in the latest docker distribution on Ubuntu 20.04.

This provides a helper script to tag and publish the docker image.
This commit is contained in:
Andrey Lushnikov 2020-09-02 14:28:01 -07:00 committed by GitHub
parent a588840d99
commit b7f6a98deb
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 7 additions and 3 deletions

View file

@ -32,7 +32,6 @@ jobs:
- run: ./docs/docker/build.sh
- name: tag & publish
run: |
docker tag playwright:localbuild playwright.azurecr.io/public/playwright:next
docker tag playwright:localbuild playwright.azurecr.io/public/playwright:sha-${{ github.sha }}
docker push --all-tags playwright.azurecr.io/public/playwright
./docs/docker/tag_and_push.sh playwright.azurecr.io/public/playwright:next
./docs/docker/tag_and_push.sh playwright.azurecr.io/public/playwright:sha-${{ github.sha }}

5
docs/docker/tag_and_push.sh Executable file
View file

@ -0,0 +1,5 @@
#!/bin/bash
echo "-- tagging: $1"
docker tag playwright:localbuild $1
docker push $1