diff options
author | Silvio Fricke | 2021-05-19 13:58:36 +0200 |
---|---|---|
committer | Silvio Fricke | 2021-05-19 13:58:36 +0200 |
commit | b4467ec2275786e67dacbd9719a97949ef85d604 (patch) | |
tree | ac5e4136a233facbd98b94e38638f2aceec48b59 /.github/workflows/main.yml | |
parent | 4a87ee94b527c6e55c53de9ec0ac20fe88ddc3d8 (diff) | |
download | languagetool-b4467ec2275786e67dacbd9719a97949ef85d604.tar.gz |
github: push via docker-workflow
Signed-off-by: Silvio Fricke <silvio.fricke@gmail.com>
Diffstat (limited to '.github/workflows/main.yml')
-rw-r--r-- | .github/workflows/main.yml | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml index 3d54321..9b5fd7c 100644 --- a/.github/workflows/main.yml +++ b/.github/workflows/main.yml @@ -34,12 +34,16 @@ jobs: run: | make test - - name: Login to DockerHub - if: github.event_name != 'pull_request' - uses: docker/login-action@v1 - with: - username: ${{ secrets.DOCKERHUB_USERNAME }} - password: ${{ secrets.DOCKERHUB_PASSWORD }} - - name: Make tag + - name: Push tag run: | - make tag + rm -f $HOME/.docker/config.json + docker login --username=${{secrets.DOCKERHUB_USERNAME}} --password=${{secrets.DOCKERHUB_PASSWORD}} docker.io + docker push silvio/docker-languagetool:latest + docker push silvio/docker-languagetool:${{ env.VERSION }} + + - name: Logout Docker + if: ${{ always() }} + run: | + docker logout + rm -f $HOME/.docker/config.json + |