Add ability to manually run a workflow.

See https://docs.github.com/en/actions/using-workflows/manually-running-a-workflow
graalvm · Feb 6, 2024 · 5c0d8d9 · 5c0d8d9
1 parent 27eadc7
commit 5c0d8d9
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
@@ -1,5 +1,5 @@
 name: Build with GraalVM Native Image
-on: [push]
+on: [push, workflow_dispatch]
 env:
   MX_PYTHON: python3.8
 jobs: