From 3de532e508f217bc4e2e8c8cb9715c32541c25a2 Mon Sep 17 00:00:00 2001
From: F-WRunTime <Freeman.Wenzl@runtimeverification.com>
Date: Tue, 10 Oct 2023 15:35:52 -0600
Subject: [PATCH] Adding release workflow

---
 .github/workflows/release.yml | 25 +++++++++++++++++++++++++
 1 file changed, 25 insertions(+)
 create mode 100644 .github/workflows/release.yml

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
new file mode 100644
index 00000000..8f5eb300
--- /dev/null
+++ b/.github/workflows/release.yml
@@ -0,0 +1,25 @@
+name: 'Master Push'
+on:
+  push:
+    branches:
+      - 'master'
+
+jobs:
+
+  cut-release:
+    name: 'Cut Release'
+    runs-on: [self-hosted, linux, flyweight]
+    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.GITHUB_TOKEN }}
+        run: |
+          set -x
+          short_sha=$(git rev-parse --short ${{ github.sha }})
+          gh release create ${short_sha} --target ${{ github.sha }}