Add github action to run 'make check test checkformat'

Author: gvanrossum-ms

.github/workflows/ci.yml

@@ -0,0 +1,28 @@
+# .github/workflows/ci.yml
+name: CI
+
+on:
+  push:
+  pull_request:
+
+jobs:
+  tests:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+
+      - name: make check
+        run: |
+          set -euxo pipefail
+          make check
+
+      - name: make test
+        run: |
+          set -euxo pipefail
+          make test
+
+      - name: format --check (from make -n format)
+        shell: bash
+        run: |
+          set -euxo pipefail
+          make checkformat

Makefile

@@ -10,6 +10,9 @@ all: venv format check test build
 format: venv
 	.venv/bin/black typeagent test tools
 
+checkformat: venv
+	.venv/bin/black --check typeagent test tools
+
 .PHONY: check
 check: venv
 	.venv/bin/pyright --pythonpath .venv/bin/python typeagent test tools