From: slaren <redacted>
Date: Tue, 25 Jun 2024 17:20:06 +0000 (+0200)
Subject: disable docker CI on pull requests (#8110)
X-Git-Tag: upstream/0.0.4488~1261
X-Git-Url: https://git.djapps.eu/?a=commitdiff_plain;h=dd047b476c8b904e0c25e5dbc5bee6ffde2f6e17;p=pkg%2Fggml%2Fsources%2Fllama.cpp

disable docker CI on pull requests (#8110)
---

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index b3efe008..01f1a452 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -10,7 +10,7 @@
 name: Publish Docker image
 
 on:
-  pull_request:
+  #pull_request:
   push:
     branches:
       - master
@@ -22,7 +22,7 @@ concurrency:
 jobs:
   push_to_registry:
     name: Push Docker image to Docker Hub
-    if: github.event.pull_request.draft == false
+    #if: github.event.pull_request.draft == false
 
     runs-on: ubuntu-latest
     env: