From 2fda6e9c2f402f6288a2cc9270c66e5b8a736116 Mon Sep 17 00:00:00 2001
From: Lennart Purucker <purucker@cs.uni-freiburg.de>
Date: Mon, 14 Oct 2024 17:49:22 +0200
Subject: [PATCH] Disable docker release on PR

---
 .github/workflows/release_docker.yaml | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/.github/workflows/release_docker.yaml b/.github/workflows/release_docker.yaml
index c8f8c59f8..26e411580 100644
--- a/.github/workflows/release_docker.yaml
+++ b/.github/workflows/release_docker.yaml
@@ -8,9 +8,6 @@ on:
       - 'docker'
     tags:
       - 'v*'
-  pull_request:
-    branches:
-      - 'develop'
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.event.pull_request.number || github.ref }}