fix: ci script

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"