From 3fd3f675bbe69b5d1a299219863e8a4237ca2ff2 Mon Sep 17 00:00:00 2001
From: Volker Schukai <volker.schukai@schukai.com>
Date: Mon, 14 Aug 2023 17:59:33 +0200
Subject: [PATCH] fix: test ci
---
devenv.nix | 1 -
1 file changed, 1 deletion(-)
diff --git a/devenv.nix b/devenv.nix
index be24f80..8b6c37b 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."
--
GitLab