From: Diego Devesa <redacted>
Date: Mon, 25 Nov 2024 21:05:39 +0000 (+0100)
Subject: ci : build docker images only once daily (#10503)
X-Git-Tag: upstream/0.0.4488~315
X-Git-Url: https://git.djapps.eu/?a=commitdiff_plain;h=50d5cecbda3b0d03344eed326287adc1f6c7f3ef;p=pkg%2Fggml%2Fsources%2Fllama.cpp

ci : build docker images only once daily (#10503)
---

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index a953cdac..9cef283d 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -10,12 +10,10 @@
 name: Publish Docker image
 
 on:
-  #pull_request:
-  push:
-    branches:
-      - master
-    paths: ['.github/workflows/docker.yml', '.devops/*.Dockerfile', '**/CMakeLists.txt', '**/Makefile', '**/*.h', '**/*.hpp', '**/*.c', '**/*.cpp', '**/*.cu', '**/*.cuh', '**/*.swift', '**/*.m', '**/*.metal']
-  workflow_dispatch: # allows manual triggering, useful for debugging
+  workflow_dispatch: # allows manual triggering
+  schedule:
+    # Rebuild daily rather than on every push because it is expensive
+    - cron: '12 4 * * *'
 
 concurrency:
   group: ${{ github.workflow }}-${{ github.head_ref && github.ref || github.run_id }}
@@ -29,7 +27,6 @@ permissions:
 jobs:
   push_to_registry:
     name: Push Docker image to Docker Hub
-    #if: github.event.pull_request.draft == false
 
     runs-on: ubuntu-latest
     env: