diff options
author | Georgi Gerganov <ggerganov@gmail.com> | 2023-04-17 18:00:10 +0300 |
---|---|---|
committer | Georgi Gerganov <ggerganov@gmail.com> | 2023-04-18 19:57:06 +0300 |
commit | 5af8e32238c7d9c4cdb7fc640472c9a26538b9da (patch) | |
tree | 555921ce70d8754be3ecb9a8ac44700e0a272056 /.github/workflows/docker.yml | |
parent | 42747220b4cac548b6e3059b66b3e960b517cfa4 (diff) |
ci : do not run on drafts
Diffstat (limited to '.github/workflows/docker.yml')
-rw-r--r-- | .github/workflows/docker.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index 28402c9..379fbd7 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -18,6 +18,8 @@ on: jobs: push_to_registry: name: Push Docker image to Docker Hub + if: github.event.pull_request.draft == false + runs-on: ubuntu-latest env: COMMIT_SHA: ${{ github.sha }} |