diff --git a/devenv.nix b/devenv.nix
index be24f809f02c9f138b6927fabd54336ad10f59a6..8b6c37bc048f16ba4a2aa54abf462cdaa0fb3174 100644
--- a/devenv.nix
+++ b/devenv.nix
@@ -114,7 +114,6 @@ git fetch --all --tags --unshallow
 git reset --hard origin/master
 git checkout $CI_COMMIT_REF_NAME
 git pull origin $CI_COMMIT_REF_NAME
-git tag -d 1.17.0
 
 if [ ! -z "''${CI_PROJECT_DIR}" ]; then
     echo "CI_PROJECT_DIR is set, using it as project root."