Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci(github): Do not push Docker images for pull requests
Disable pushing of Docker images for the `docker-build` workflow if it was triggered by a pull request. For pull requests the workflow should only verify that the Docker build works, but not publish any images. Signed-off-by: Martin Nonnenmacher <[email protected]>
- Loading branch information