We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 78a4c44 commit 6971a02Copy full SHA for 6971a02
docker/ubuntu2204.Dockerfile
@@ -110,7 +110,7 @@ ENV JAVA_HOME=/usr/lib/jvm/java-11-openjdk-amd64/
110
ARG BUILD_DATE
111
LABEL org.opencontainers.image.created="${BUILD_DATE}"
112
LABEL org.opencontainers.image.title="JavaSMT solver development"
113
-LABEL org.opencontainers.image.description="Ubuntu 18.04-based image for JavaSMT solver development"
+LABEL org.opencontainers.image.description="Ubuntu 22.04-based image for JavaSMT solver development"
114
LABEL org.opencontainers.image.source="https://github.com/sosy-lab/java-smt"
115
LABEL org.opencontainers.image.licenses="Apache-2.0"
116
0 commit comments