enable workflow dispatch

marler8997 · Sep 28, 2024 · eae258c · eae258c
1 parent 085cc54
commit eae258c
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -5,6 +5,7 @@ on:
     branches:
       - master
       - llvm19
+  workflow_dispatch:
 concurrency:
   # Cancels pending runs when a PR gets updated.
   group: ${{ github.head_ref || github.run_id }}-${{ github.actor }}