diff --git a/devenv.nix b/devenv.nix
index fe5dac2d0952595000d8ff7ecea87626afe2e9cb..39798539e2bc62b76f4ab3919535257f8c16f857 100644
--- a/devenv.nix
+++ b/devenv.nix
@@ -238,7 +238,10 @@ builds:
   ${pkgs.git}/bin/git checkout $CI_COMMIT_REF_NAME
   ${pkgs.git}/bin/git pull origin $CI_COMMIT_REF_NAME
   ${inputs.version.defaultPackage."${builtins.currentSystem}"}/bin/version auto --git --verbose
-  ${pkgs.git}/bin/git push origin $CI_COMMIT_REF_NAME 
+  
+  ${pkgs.git}/bin/git log --decorate=short --pretty=oneline
+   
+  ${pkgs.git}/bin/git push origin $CI_COMMIT_REF_NAME --tags
   
   '';
   scripts.update-files.exec = ''