Add debian 13 to obsCheck

Author: highperformancecoder

obsCheck/Dockerfile-debian

@@ -4,13 +4,11 @@ ARG project=minsky
 ARG version
 ADD . /root
 RUN apt-get update -qq -y
-RUN apt-get install -y wget gnupg
-RUN wget -nv https://download.opensuse.org/repositories/home:hpcoder1/Debian_${version}/Release.key -O Release.key
-RUN apt-key add - < Release.key
+RUN apt-get install -y gnupg2 curl wget python3
+RUN curl -fsSL https://download.opensuse.org/repositories/home:hpcoder1/Debian_${version}/Release.key | gpg --dearmor | tee /etc/apt/trusted.gpg.d/home_hpcoder1.gpg > /dev/null
 RUN echo "deb http://download.opensuse.org/repositories/home:/hpcoder1/Debian_${version}/ /" > /etc/apt/sources.list.d/home:hpcoder1.list
 RUN apt-get update
 RUN apt-get install -y --allow-unauthenticated $project
 RUN useradd -m minsky
 RUN su - minsky -c minsky --version
-RUN apt install -y python3
 RUN python3 -c "import pyminsky"

obsCheck/smokeTest.sh

@@ -9,7 +9,7 @@ fi
 rm *.log
 for i in Dockerfile-*[^~]; do
     case $i in
-        Dockerfile-debian) versions="12";;
+        Dockerfile-debian) versions="12 13";;
         Dockerfile-ubuntu) versions="22.04 24.04 25.04";;
         Dockerfile-fedora) versions="41 42";;
         Dockerfile-leap) versions="15.4 15.5 15.6";;