diff --git a/docker/Dockerfile b/docker/Dockerfile index cb1ee7e..f82b95c 100644 --- a/docker/Dockerfile +++ b/docker/Dockerfile @@ -1,4 +1,4 @@ -FROM nvidia/cuda:11.8.0-cudnn8-devel-ubuntu20.04 +FROM nvidia/cuda:11.8.0-cudnn8-devel-ubuntu22.04 SHELL ["/bin/sh", "-c"] diff --git a/docker/build.sh b/docker/build.sh index 35ccb72..b0af11a 100755 --- a/docker/build.sh +++ b/docker/build.sh @@ -45,9 +45,11 @@ if [ "$COMMIT" == "$(git rev-parse --short HEAD)" ]; then fi # check if the commit has been pushed -REMOTE_COMMIT=$(git ls-remote https://gitlab.etp.kit.edu/jkiesele/minicalosim.git | grep $COMMIT) +REMOTE_COMMIT=$(git ls-remote https://github.com/jkiesele/minicalosim | grep $COMMIT) if [ -z "$REMOTE_COMMIT" ]; then echo "ERROR: Commit $COMMIT not found in remote repository." + echo only found commits: + git ls-remote https://github.com/jkiesele/minicalosim exit 1 fi