temp-enable-on-push

FStarLang · Aug 28, 2024 · 78d0d71 · 78d0d71
1 parent 71ee311
commit 78d0d71
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/linux-x64-rebuild-base.yaml b/.github/workflows/linux-x64-rebuild-base.yaml
@@ -1,5 +1,6 @@
 name: Rebuild base image
 on:
+  push:
   schedule:
     # 2AM UTC
     - cron: '0 2 * * *'