[ci skip] fix #36 - disable docker cache in weekly build

kxcinc · Jul 10, 2023 · b5618a6 · b5618a6
1 parent cf03a75
commit b5618a6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ocaml-general.yml b/.github/workflows/ocaml-general.yml
@@ -143,6 +143,7 @@ jobs:
       - run: mkdir -p ${{ env.CACHE_DIR }}
 
       - name: Restore Docker Layers Cache
+        if: github.event.schedule == null
         uses: actions/cache/restore@v3
         with:
           path: ${{ env.CACHE_DIR }}