From 0e1a4b9fddf55a62b374a6f956cff11eb0bc089d Mon Sep 17 00:00:00 2001
From: Jack Gerrits <jackgerrits@users.noreply.github.com>
Date: Fri, 8 Mar 2024 22:07:51 -0500
Subject: [PATCH] Add initial type check CI (#1882)

* Add type check CI

* newline

* dont install editable

* add --non-interactive

* Update type-check.yml
---
 .github/workflows/type-check.yml | 22 ++++++++++++++++++++++
 1 file changed, 22 insertions(+)
 create mode 100644 .github/workflows/type-check.yml

diff --git a/.github/workflows/type-check.yml b/.github/workflows/type-check.yml
new file mode 100644
index 0000000000..498337c614
--- /dev/null
+++ b/.github/workflows/type-check.yml
@@ -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