From: Marc Fehling <mafehling.git@gmail.com>
Date: Thu, 28 Sep 2023 20:55:42 +0000 (-0600)
Subject: Docker: Build images every 12 hours.
X-Git-Tag: relicensing~453^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d53b2b1ecf17d2835ddc7f31e00f6802581b2375;p=dealii.git

Docker: Build images every 12 hours.
---

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index bf6874bb04..38c0d26a41 100644
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -4,7 +4,8 @@ on:
   push:
     branches:
       - 'docker*'
-      - 'master'
+  schedule:
+  - cron: '0 */12 * * *'
 
 permissions:
   contents: read
@@ -12,6 +13,8 @@ permissions:
 
 jobs:
   build-master-docker:
+    if: (github.event_name == 'schedule' && github.repository == 'dealii/dealii') || github.event_name != 'schedule'
+
     name: build master docker ${{ matrix.ubuntu_version }}
     runs-on: ubuntu-latest
 
@@ -49,5 +52,5 @@ jobs:
             IMG=${{ matrix.ubuntu_version }}
             NJOBS=${{ matrix.n_jobs }}
             VER=master
-          push: ${{ github.ref_name == 'master' }}
+          push: ${{ github.event_name == 'schedule' }}
           tags: dealii/dealii:master-${{ matrix.ubuntu_version }}