Add workflow_dispatch trigger to typecheck workflow
This commit is contained in:
1
.github/workflows/typecheck.yml
vendored
1
.github/workflows/typecheck.yml
vendored
@@ -3,6 +3,7 @@ name: Typecheck
|
|||||||
on:
|
on:
|
||||||
pull_request:
|
pull_request:
|
||||||
branches: [dev]
|
branches: [dev]
|
||||||
|
workflow_dispatch:
|
||||||
|
|
||||||
jobs:
|
jobs:
|
||||||
typecheck:
|
typecheck:
|
||||||
|
|||||||
Reference in New Issue
Block a user