Merge pull request #2604 from GaloisInc/bump-deps

yav · web-flow · commit 974780423fed · 2025-09-16T14:59:07.000-07:00
Bump `crucible` dpenendy
diff --git a/deps/crucible b/deps/crucible
@@ -1 +1 @@
-Subproject commit 9c8d9c78617b3666611af46bf98c5cbf566bdae1
+Subproject commit cd606433042f199854bc02dce42c1099acf9b97c
