ci: allow manual devbox cache warm

2026-10-20 17:38:45 +00:00 · 2026-05-29 09:58:08 -07:00
parent 3226ce3b7c
commit dc1a1ed33d
1 changed files with 1 additions and 1 deletions
@@ -528,7 +528,7 @@ jobs:
          key: ${{ steps.prepare_bazel.outputs.repository-cache-key }}

  warm-devbox-cache:
-    if: github.event_name == 'push' && github.ref == 'refs/heads/main'
+    if: (github.event_name == 'push' && github.ref == 'refs/heads/main') || github.event_name == 'workflow_dispatch'
    timeout-minutes: 30
    runs-on: ubuntu-24.04
    name: Warm devbox Bazel cache