smheidrich
diff --git a/‎.github/workflows/black.yml
-10 b/‎.github/workflows/black.yml
-10
diff --git a/‎.github/workflows/codeql.yml
-74 b/‎.github/workflows/codeql.yml
-74
diff --git a/‎.github/workflows/main.yml
-33 b/‎.github/workflows/main.yml
-33
diff --git a/‎.github/workflows/python-publish.yml
-27 b/‎.github/workflows/python-publish.yml
-27
diff --git a/‎.github/workflows/task-completed-checker-action.yml
-12 b/‎.github/workflows/task-completed-checker-action.yml
-12
diff --git a/‎.github/workflows/type-completeness.yml
+14 b/‎.github/workflows/type-completeness.yml
+14
@@ -0,0 +1,14 @@
+name: Type completeness ratchet
+
+on: [pull_request]
+
+jobs:
+  completeness:
+    name: Check that type completeness didn't decrease
+    runs-on: ubuntu-latest
+    steps:
+    - id: completeness
+      uses: Bibo-Joshi/[email protected]
+      with:
+        package-name: rope
+        install-command: "touch rope/py.typed && pip install ."