]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Docker: Build images every 12 hours. 16063/head
authorMarc Fehling <mafehling.git@gmail.com>
Thu, 28 Sep 2023 20:55:42 +0000 (14:55 -0600)
committerMarc Fehling <mafehling.git@gmail.com>
Sat, 30 Sep 2023 19:54:34 +0000 (13:54 -0600)
.github/workflows/docker.yml

index bf6874bb045340ad3e7fac2592609da21c532ff8..38c0d26a41e7209278f19e4844591f8ab39da837 100644 (file)
@@ -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 }}

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.