Merge pull request #2357 from firedrakeproject/JDBetteridge/scheduled_ci

Add scheduling to github actions
firedrakeproject · Feb 24, 2022 · 4f61984 · 4f61984
2 parents c577798 + a6f3b2b
commit 4f61984
Showing 1 changed file with 3 additions and 1 deletion.
diff --git 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' }}