add workflow_dispatch trigger to choose workflow branch

jupyter-server · Jul 21, 2023 · 7d80781 · 7d80781
1 parent 13e60d2
commit 7d80781
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/.github/workflows/update-integration-tests.yml b/.github/workflows/update-integration-tests.yml
@@ -1,6 +1,11 @@
 name: Update Playwright Snapshots
 
 on:
+  workflow_dispatch:
+    inputs:
+      number:
+        description: 'PR number'
+        required: true
   issue_comment:
     types: [created, edited]