v0.2.13

rindPHI · Aug 30, 2022 · 59b60d6 · 59b60d6
1 parent 82ea310
commit 59b60d6
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -20,9 +20,9 @@ RUN pip install --upgrade pip wheel
 RUN git clone https://github.com/rindPHI/islearn.git
 WORKDIR /home/islearn/islearn
 RUN git pull
-RUN git checkout v0.2.12
+RUN git checkout v0.2.13
 RUN pip install -e .[dev,test]
-RUN pip install isla-solver==0.10.5
+RUN pip install isla-solver==0.10.6
 
 WORKDIR /home/islearn
 CMD ["fish"]
diff --git a/pyproject.toml b/pyproject.toml
@@ -8,7 +8,7 @@ build-backend = "setuptools.build_meta"
 
 [project]
 name = "islearn"
-version = "0.2.12"
+version = "0.2.13"
 authors = [
   { name="Dominic Steinhöfel", email="[email protected]" },
 ]

diff --git a/src/islearn/__init__.py b/src/islearn/__init__.py
@@ -1 +1 @@
-__version__ = "0.2.12"
+__version__ = "0.2.13"