Merge pull request #225 from neutrinoceros/dependabot/pip/requirement…

…s/actions-43b16d19e8 Bump the actions group in /requirements with 1 update
neutrinoceros · Dec 30, 2023 · ca7a9ed · ca7a9ed
2 parents a5df20b + 4141739
commit ca7a9ed
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/requirements/typecheck.txt b/requirements/typecheck.txt
@@ -1 +1 @@
-mypy==1.7.1
+mypy==1.8.0