add workflow dispatch

allenai · Oct 31, 2024 · acbe1a3 · acbe1a3
1 parent 47f3bd6
commit acbe1a3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml
@@ -5,6 +5,7 @@ concurrency:
   cancel-in-progress: true
 
 on:
+  workflow_dispatch:
   # TODO: disabled for now because it takes too long in CI
   # pull_request:
   #   branches: