Conditional for SCHEDULED_DOCKER

diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
index 98551c18a0936a7efd9b5dd8f529c3b1379ec845..f0748e05a0b9850b35181fe4c16caba706c74aa7 100644 (file)
--- a/.github/workflows/docker.yml
+++ b/.github/workflows/docker.yml
@@ -11,6 +11,7 @@ permissions: # least privileges, see https://docs.github.com/en/actions/using-wo
 jobs:
   build:
     name: docker build
+    if: ${{ vars.SCHEDULED_DOCKER }}
     # on a ubuntu-20.04 VM
     runs-on: ubuntu-20.04
     strategy: