Update python/mypy.ini

Co-authored-by: Ryan Scott <[email protected]>
GaloisInc · May 15, 2024 · b37a653 · b37a653
1 parent dc5bc2b
commit b37a653
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/python/mypy.ini b/python/mypy.ini
@@ -1,6 +1,6 @@
 [mypy]
 no_implicit_optional = True
-# Ensure CI file matches python version here.
+# Ensure .github/workflows/ci.yml matches the Python version used here.
 python_version = 3.12
 warn_return_any = True
 warn_unused_configs = True