Update workflow

This commit is contained in:
Glenn Y. Rolland 2021-11-24 19:27:41 +01:00
parent 44f0ded376
commit d16e8d0869

View file

@ -8,7 +8,7 @@ on:
# run it during pull request
pull_request:
defaults:
jobs:
# define job to build and publish docker image
build-and-push-docker-image:
name: Build Docker image and push to repositories