update version

Author: danbryce

Makefile

@@ -293,7 +293,7 @@ deploy-pages:
 	mv docs/build/html www
 	touch www/.nojekyll
 	rm www/.buildinfo || true
-	git checkout --track $(DOCS_REMOTE)/gh-pages
+	git checkout --track $(DOCS_REMOTE)/gh-pages || git checkout $(DOCS_REMOTE)/gh-pages
 	rm -r docs || true
 	mv www docs
 	git add -f docs

auxiliary_packages/funman_demo/src/funman_demo/_version.py

@@ -1,4 +1,4 @@
 """Version information."""
 
 # The following line *must* be the last in the module, exactly as formatted:
-__version__ = "1.6.0"
+__version__ = "1.7.0"

auxiliary_packages/funman_dreal/src/funman_dreal/_version.py

@@ -1,4 +1,4 @@
 """Version information."""
 
 # The following line *must* be the last in the module, exactly as formatted:
-__version__ = "1.6.0"
+__version__ = "1.7.0"

src/funman/_version.py

@@ -1,4 +1,4 @@
 """Version information."""
 
 # The following line *must* be the last in the module, exactly as formatted:
-__version__ = "1.6.0"
+__version__ = "1.7.0"

terarium/scripts/run-api-in-docker.sh

@@ -4,7 +4,7 @@
 # TARGET_IMAGE=localhost:5000/siftech/funman-api:local
 
 # For public images:
-FUNMAN_VERSION="${FUNMAN_VERSION:-hackathon_fall_2023}"
+FUNMAN_VERSION="${FUNMAN_VERSION:-1.7.0}"
 TARGET_IMAGE="${TARGET_IMAGE:-ghcr.io/siftech/funman-api:$FUNMAN_VERSION}"
 PLATFORM="${PLATFORM:---platform linux/amd64}"