From a6f3b2b9e9b8a9742b95d147ecea09eab224051d Mon Sep 17 00:00:00 2001
From: Jack Betteridge <J.D.Betteridge@bath.ac.uk>
Date: Fri, 18 Feb 2022 17:47:51 +0000
Subject: [PATCH] Add scheduling to github actions

---
 .github/workflows/build.yml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
index 91ac3833fd..b3a82c605d 100644
--- a/.github/workflows/build.yml
+++ b/.github/workflows/build.yml
@@ -6,6 +6,8 @@ on:
     branches:
       - master
   pull_request:
+  schedule:
+    - cron: '0 0 * * 0'
 
 jobs:
   build:
@@ -69,7 +71,7 @@ jobs:
           cd ..
           rm -rf build
   docker_env:
-    name: "Build Docker environment container"  
+    name: "Build Docker environment container"
     # The type of runner that the job will run on
     needs: build
     if: ${{ github.ref == 'refs/heads/master' }}