Allow devdoc action to be run manually (MobilityDB#604)

mschoema · Sep 24, 2024 · fa0f590 · fa0f590
1 parent 9e2aebd
commit fa0f590
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/generate_dev_docs.yml b/.github/workflows/generate_dev_docs.yml
@@ -3,6 +3,7 @@
 name: Generate MEOS documentation with Doxygen
 
 on:
+  workflow_dispatch:
   push:
     paths:
       - '.github/workflows/generate_dev_docs.yml'