Add CI job to create release (#40)

* Add CI job to create release * Set Version: 0.1.4 --------- Co-authored-by: devops <[email protected]>
runtimeverification · Sep 22, 2023 · 30e27f5 · 30e27f5
1 parent 3d2e846
commit 30e27f5
Show file tree

Hide file tree

Showing 3 changed files with 21 additions and 2 deletions.
diff --git a/.github/workflows/master-push.yml b/.github/workflows/master-push.yml
@@ -6,6 +6,25 @@ on:
 
 jobs:
 
+  cut-release:
+    name: 'Cut Release'
+    runs-on: ubuntu-latest
+    steps:
+      - name: 'Check out code'
+        uses: actions/checkout@v3
+        with:
+          ref: ${{ github.event.push.head.sha }}
+          fetch-depth: 0
+
+      - name: 'Create Release'
+        env:
+          GITHUB_TOKEN: ${{ secrets.JENKINS_GITHUB_PAT }}
+        run: |
+          set -x
+          VERSION=v$(cat package/version)
+          gh release create ${VERSION} --target ${{ github.sha }}
+
+
   dockerhub:
     name: 'Build and Publish Docker Image'
     runs-on: [self-hosted, linux, normal]

diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.3
+0.1.4
diff --git a/pyproject.toml b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kontrol"
-version = "0.1.3"
+version = "0.1.4"
 description = "Foundry integration for KEVM"
 authors = [
     "Runtime Verification, Inc. <[email protected]>",