diff --git a/.github/workflows/dev.yml b/.github/workflows/dev.yml index e5f7cac433e..2b1e95dbb8c 100644 --- a/.github/workflows/dev.yml +++ b/.github/workflows/dev.yml @@ -3,6 +3,7 @@ name: Dev on: push: branches: [ develop ] + workflow_dispatch: jobs: