work with CI

Signed-off-by: Lev Nachmanson <[email protected]>

Author: levnach

.github/workflows/agl.yml

@@ -1,8 +1,8 @@
 on:
   push:
      tags:
-        - release* # You will need to provide a tag of the form 'relase_ ...' with your push command:
-           # For example git tag -a release_with_a_bug_fix -m "bug fix" && git push origin release_with_a_bug_fix
+        - v* # You will need to provide a tag of the form 'v* ...' with your push command:
+           # For example git tag -a v11 -m "bug fix" && git push origin v11
 name: Create Release
 
 jobs:

README.md

@@ -112,6 +112,8 @@ A release containing the binaries of agl.exe
 can be created automatically by a github action of
 ".github\workflows\agl.yaml'.
 To invoke the action do the following. 
-Create a new tag in the form "release*". For example,  "git tag -a
-release_11 -m "some comment here"". Then execute git push with this
-tag: "git push origin release_11". These should trigger the release creation.
+Create a new tag in the form "v*". For example,  "git tag -a
+v_11 -m "some comment here"". Then execute git push with this
+tag: "git push origin v_11". These should trigger the release
+creation. Alternatively, you can use python script "createRelease.py",
+as following "python createRelease.py 1.1.1".

createRelease.py

@@ -0,0 +1,21 @@
+from curses.panel import version
+import os
+import os
+import sys
+print ("Creating release")
+if len(sys.argv) == 1 :
+    print ("Error: please provide the release number")
+    print("Usage: python createRelease 1.1.1 \"provide an optional comment\"" )
+    exit(1)
+comment = "default comment"
+
+if len(sys.argv) == 3 :
+    comment = sys.argv[2]
+ 
+version_tag = 'v'+ sys.argv[1] 
+
+command = "git tag -a " + version_tag + " -m " + comment
+
+command +=  " && git push origin " + version_tag
+print(command)
+#os.system(command)