Disable test-post-process (runtimeverification/pyk#74)

Workaround for #2974 Co-authored-by: devops <devops@runtimeverification.com>
runtimeverification · Apr 10, 2024 · f399b3a · f399b3a
1 parent 2543751
commit f399b3a
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/pyk/package/version b/pyk/package/version
@@ -1 +1 @@
-0.1.31
+0.1.32
diff --git a/pyk/pyk-tests/Makefile b/pyk/pyk-tests/Makefile
@@ -24,7 +24,7 @@ test: test-kpyk
 
 ## kpyk runner tests
 
-test-kpyk: test-kpyk-graphviz test-kpyk-minimize-term test-post-process
+test-kpyk: test-kpyk-graphviz test-kpyk-minimize-term # test-post-process
 
 test-kpyk-graphviz: d.kompiled
 	$(PYK) graph-imports $(PYK_OPTIONS) definitions/d

diff --git a/pyk/pyproject.toml b/pyk/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "pyk"
-version = "0.1.31"
+version = "0.1.32"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",