Add workflow_dispatch to Full CI (#5405)

Add workflow_dispatch for FULL CI --- TYPE: NO_HISTORY DESC: Add workflow_dispatch for FULL CI
TileDB-Inc · Dec 16, 2024 · b17efb5 · b17efb5
1 parent c045863
commit b17efb5
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/full-ci.yml b/.github/workflows/full-ci.yml
@@ -1,5 +1,6 @@
 name: "Full CI"
 on:
+  workflow_dispatch:
   push:
     branches:
       - dev