Publish a develop docker image (#11380)

I'd find it helpful to have a docker image corresponding to current develop,
without having to build my own.
This commit is contained in:
Richard van der Hoff 2021-11-19 10:56:59 +00:00 committed by GitHub
parent a6f7f84570
commit e2e9bea1ce
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 1 deletions

View file

@ -5,7 +5,7 @@ name: Build docker images
on: on:
push: push:
tags: ["v*"] tags: ["v*"]
branches: [ master, main ] branches: [ master, main, develop ]
workflow_dispatch: workflow_dispatch:
permissions: permissions:
@ -38,6 +38,9 @@ jobs:
id: set-tag id: set-tag
run: | run: |
case "${GITHUB_REF}" in case "${GITHUB_REF}" in
refs/heads/develop)
tag=develop
;;
refs/heads/master|refs/heads/main) refs/heads/master|refs/heads/main)
tag=latest tag=latest
;; ;;

1
changelog.d/11380.misc Normal file
View file

@ -0,0 +1 @@
Publish a `develop` image to dockerhub.