From abee33631ab42ce47bf781420ee8f7372df7b133 Mon Sep 17 00:00:00 2001
From: Volker Schukai <volker.schukai@schukai.com>
Date: Mon, 14 Aug 2023 14:38:52 +0200
Subject: [PATCH] fix: ci script

---
 devenv.nix | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

diff --git a/devenv.nix b/devenv.nix
index d8692f7..1a9daa2 100644
--- a/devenv.nix
+++ b/devenv.nix
@@ -138,19 +138,9 @@ if [ -z "'CI_JOB_TOKEN" ]; then
 fi
 
 git --no-pager log --decorate=short --pretty=oneline
-
-## the version should be the same as in the build task
-if ! version auto --git --verbose
-then
-    echo "ERROR: Could not update version."
-    exit 1
-fi 
-
-git --no-pager log --decorate=short --pretty=oneline
-
 gitVersion=v$(version predict)
 git tag -a $gitVersion 
-
+git --no-pager log --decorate=short --pretty=oneline
 git push -o ci.skip origin ''${CI_COMMIT_REF_NAME} --tags
 
 echo "done"
-- 
GitLab