Add initial type check CI (#1882)

* Add type check CI

* newline

* dont install editable

* add --non-interactive

* Update type-check.yml
This commit is contained in:
Jack Gerrits 2024-03-08 22:07:51 -05:00 committed by GitHub
parent d447f7f646
commit 0e1a4b9fdd
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 22 additions and 0 deletions

22
.github/workflows/type-check.yml vendored Normal file
View File

@ -0,0 +1,22 @@
name: Type check
# see: https://help.github.com/en/actions/reference/events-that-trigger-workflows
on: # Trigger the workflow on pull request or merge
pull_request:
merge_group:
types: [checks_requested]
defaults:
run:
shell: bash
permissions: {}
jobs:
type-check:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/setup-python@v4
- run: pip install ".[jupyter-executor]" mypy
# As more modules are type check clean, add them here
- run: mypy --install-types --non-interactive autogen/logger