Update ROBOT to version 1.9.7.

INCATools · Oct 30, 2024 · 1d23f49 · 1d23f49
1 parent aff8986
commit 1d23f49
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/docker/odklite/Dockerfile b/docker/odklite/Dockerfile
@@ -1,7 +1,7 @@
 FROM ubuntu:24.04
 LABEL maintainer="[email protected]"
 
-ENV ROBOT_VERSION=1.9.6
+ENV ROBOT_VERSION=1.9.7
 ENV DOSDP_VERSION=0.19.3
 ENV OWLTOOLS_VERSION=2020-04-06
 ENV AMMONITE_VERSION=2.5.9

diff --git a/docker/robot/Dockerfile b/docker/robot/Dockerfile
@@ -3,7 +3,7 @@ LABEL maintainer="[email protected]"
 
 WORKDIR /tools
 
-ENV ROBOT=v1.9.6
+ENV ROBOT=v1.9.7
 ARG ROBOT_JAR=https://github.com/ontodev/robot/releases/download/$ROBOT/robot.jar
 ENV ROBOT_JAR=${ROBOT_JAR}
 

diff --git a/docker/robot/Makefile b/docker/robot/Makefile
@@ -1,6 +1,6 @@
 
 # Building docker image
-VERSION = "v1.9.4"
+VERSION = "v1.9.7"
 IM=obolibrary/robot
 
 CACHE=