Update pyk dependencies (#4460)

Runtime: * `filelock`: `3.14.0` -> `3.15.3` Development: * `flake8`: `7.0.0` -> `7.1.0` * `flake8-type-checking`: `2.9.0` -> `2.9.1` * `pytest`: `8.2.0` -> `8.2.2` * `pyupgrade`: `3.15.2` -> `3.16.0` Documentation: * `sphinx`: `7.2.6` -> `7.3.7`
runtimeverification · Jun 20, 2024 · 6126739 · 6126739
1 parent 83a50ff
commit 6126739
Show file tree

Hide file tree

Showing 2 changed files with 110 additions and 112 deletions.
diff --git a/pyk/docs/generate.sh b/pyk/docs/generate.sh
@@ -2,7 +2,7 @@
 
 set -euxo pipefail
 
-SPHINX_VERSION=7.2.6
+SPHINX_VERSION=7.3.7
 
 DOCS_DIR=$(realpath $(dirname $0))
 API_DIR=$DOCS_DIR/api