From: Marc Fehling 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 }}