diff --git a/devenv.nix b/devenv.nix
index d8692f7dcc4847d0947c3206c3406402a98fe03e..1a9daa2cb8f8bd991bc28823dc315011351d0579 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"