add manual workflow trigger

GraphBLAS · Nov 30, 2023 · f5eade2 · f5eade2
1 parent 37823e3
commit f5eade2
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -1,6 +1,11 @@
 name: LAGraph CI
 
-on: [push, pull_request]
+on:
+  workflow_dispatch:
+  push:
+    branches-ignore:
+      - '**/*dev2'
+  pull_request:
 
 jobs:
   linux: