diff --git a/.github/workflows/typecheck.yml b/.github/workflows/typecheck.yml index 189ef2b0..01aa398b 100644 --- a/.github/workflows/typecheck.yml +++ b/.github/workflows/typecheck.yml @@ -3,6 +3,7 @@ name: Typecheck on: pull_request: branches: [dev] + workflow_dispatch: jobs: typecheck: