diff --git a/.github/workflows/update_workshop_develop.yaml b/.github/workflows/update_workshop_develop.yaml index ef0ac45f..8f5e1432 100644 --- 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: