From d53b2b1ecf17d2835ddc7f31e00f6802581b2375 Mon Sep 17 00:00:00 2001 From: Marc Fehling Date: Thu, 28 Sep 2023 14:55:42 -0600 Subject: [PATCH] Docker: Build images every 12 hours. --- .github/workflows/docker.yml | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) 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 }} -- 2.39.5