changing ubuntu version
This commit is contained in:
+1
-1
@@ -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"]
|
SHELL ["/bin/sh", "-c"]
|
||||||
|
|
||||||
|
|||||||
+3
-1
@@ -45,9 +45,11 @@ if [ "$COMMIT" == "$(git rev-parse --short HEAD)" ]; then
|
|||||||
fi
|
fi
|
||||||
|
|
||||||
# check if the commit has been pushed
|
# 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
|
if [ -z "$REMOTE_COMMIT" ]; then
|
||||||
echo "ERROR: Commit $COMMIT not found in remote repository."
|
echo "ERROR: Commit $COMMIT not found in remote repository."
|
||||||
|
echo only found commits:
|
||||||
|
git ls-remote https://github.com/jkiesele/minicalosim
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
|
|||||||
Reference in New Issue
Block a user