Bump

dgburr · dgburr · commit 91a171c6cf0d · 2025-10-25T20:19:15.000+02:00
diff --git a/c/third_party/check b/c/third_party/check
@@ -1 +1 @@
-Subproject commit 363e629b4d821395c123530eb83cf178edf4383f
+Subproject commit a2b143f7b39d6d0c3d6428ad691d8340bda7d317
