add workflow_dispatch to workshop ci

2025-03-04 03:03:01 -05:00 · 2023-09-20 19:52:57 +02:00 · 2023-09-20 19:52:57 +02:00 · b3f19c1454
commit b3f19c1454
parent 323766b31e
1 changed files with 1 additions and 0 deletions
--- a/.github/workflows/update_workshop_develop.yaml
+++ b/.github/workflows/update_workshop_develop.yaml
@ -4,6 +4,7 @@ on:
  push:
    branches:
      - develop
+  workflow_dispatch:

 jobs:
  linter: