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

2026-09-30 19:41:14 +02:00 · 2026-05-27 08:46:23 +02:00
parent ee540bf0be
commit 6dcdd65364
1 changed files with 0 additions and 2 deletions
@@ -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: