Add scheduling to github actions

firedrakeproject · Feb 21, 2022 · a6f3b2b · a6f3b2b
1 parent f65b46a
commit a6f3b2b
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' }}