Merge branch 'master' into sh_merge_master

2026-05-02 20:51:36 +00:00 · 2022-01-11 17:48:37 -08:00
parent ea4cc147a2 f8d4aa47b6
commit ea0c1e77c8
13 changed files with 185 additions and 101 deletions
--- a/.pre-commit-config.yaml
+++ b/.pre-commit-config.yaml
@@ -106,7 +106,7 @@ repos:

 # Check static types with mypy
 - repo: https://github.com/pre-commit/mirrors-mypy
-  rev: v0.930
+  rev: v0.931
  hooks:
  - id: mypy
    # Running per-file misbehaves a bit, so just run on all files, it's fast