diff --git a/driver/version.py b/driver/version.py index 57a4e7bce0..640b43733d 100644 --- a/driver/version.py +++ b/driver/version.py @@ -1,4 +1,4 @@ # This file is auto-generated by the scripts in misc/release. # Do not modify it. -__version__ = "22.06" +__version__ = "22.06.1" diff --git a/misc/releases/22.06/Dockerfile.22.06 b/misc/releases/22.06/Dockerfile.22.06 index 0080ec7699..5952d298e9 100644 --- a/misc/releases/22.06/Dockerfile.22.06 +++ b/misc/releases/22.06/Dockerfile.22.06 @@ -55,7 +55,7 @@ RUN wget http://www.coin-or.org/download/source/Osi/$OSI_VERSION.tgz && \ # Install Fast Downward. WORKDIR /workspace/downward/ -RUN git clone --depth 1 --branch release-22.06.0 https://github.com/aibasel/downward.git . && \ +RUN git clone --depth 1 --branch release-22.06.1 https://github.com/aibasel/downward.git . && \ ./build.py release debug && \ strip --strip-all builds/release/bin/downward diff --git a/misc/releases/22.06/Vagrantfile.22.06 b/misc/releases/22.06/Vagrantfile.22.06 index e1dbf88d1b..6c5dc22516 100644 --- a/misc/releases/22.06/Vagrantfile.22.06 +++ b/misc/releases/22.06/Vagrantfile.22.06 @@ -110,7 +110,7 @@ Vagrant.configure("2") do |config| cd /home/vagrant if ! [ -e downward ] ; then - git clone --branch release-22.06.0 https://github.com/aibasel/downward.git downward + git clone --branch release-22.06.1 https://github.com/aibasel/downward.git downward ./downward/build.py release debug chown -R vagrant.vagrant downward fi