Merge branch 'main' into dependabot/pip/black-24.10.0

exo-lang · Oct 13, 2024 · ba2868a · ba2868a
2 parents 231798d + e4232bf
commit ba2868a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/dev-requirements.txt b/dev-requirements.txt
@@ -1,9 +1,9 @@
 black==24.10.0
 coverage==7.6.1
-pre-commit==3.8.0
+pre-commit==4.0.1
 pytest-cov==5.0.0
 pytest-xdist==3.6.1
 pytest==8.3.3
 tox==4.21.2
-numpy==2.1.1
+numpy==2.1.2
 Pillow==10.4.0
diff --git a/requirements.txt b/requirements.txt
@@ -1,6 +1,6 @@
 PySMT==0.9.6
 asdl-adt==0.1.0
 asdl==0.1.5
-build==1.2.2
+build==1.2.2.post1
 z3-solver==4.13.2.0
 yapf==0.40.2