work on CI

Signed-off-by: Lev Nachmanson <[email protected]>
microsoft · Jan 15, 2022 · 81b3f06 · 81b3f06
1 parent be1dac2
commit 81b3f06
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/createRelease.py b/createRelease.py
@@ -14,8 +14,8 @@
 
 version_tag = 'v'+ sys.argv[1] 
 
-command = "git tag -a " + version_tag + " -m " + comment
+command = "git tag -a " + version_tag + " -m \"" + comment + "\""
 
 command +=  " && git push origin " + version_tag
 print(command)
-#os.system(command)
+os.system( command)