fix: test ci

devenv.nix

@@ -113,7 +113,8 @@ git remote set-url origin https://pad:''${GITLAB_TOKEN}@''${CI_REPOSITORY_URL#*@
 git fetch --all --tags --unshallow
 git reset --hard origin/master
 git checkout $CI_COMMIT_REF_NAME
-git pull --all origin $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."