ci : only run docker jobs when pushed to master [no ci] (#3828)

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 6c0de0ece70d4f7e054923c1ffed3df761c92a1d..c5162dc82516e1904bc276f623cfb69acaff666f 100644 (file)
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -1,7 +1,6 @@
 name: Publish Docker image
 
 on:
-  pull_request:
   push:
     branches:
       - master
@@ -9,7 +8,6 @@ on:
 jobs:
   push_to_registry:
     name: Push Docker image to Docker Hub
-    if: github.event.pull_request.draft == false
 
     runs-on: ubuntu-22.04
     env: