From 0c6228706044dc35498ce518ccee6e05ef84422c Mon Sep 17 00:00:00 2001
From: Jean-Marie Burel <j.burel@dundee.ac.uk>
Date: Sat, 21 Jan 2023 17:25:19 +0000
Subject: [PATCH] create and publish artifacts

---
 .github/workflows/release.yml | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 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 00000000000..8886e06f13a
--- /dev/null
+++ b/.github/workflows/release.yml
@@ -0,0 +1,32 @@
+name: "Build and push artifacts"
+on:
+  push:
+    tags:
+      - '*'
+
+jobs:
+  build:
+    name: Release artifacts
+    runs-on: ubuntu-20.04
+    steps:
+      - uses: actions/checkout@v2
+      - name: Set up JDK
+        uses: actions/setup-java@v3
+        with:
+          java-version: 8
+          distribution: 'zulu'
+      - name: Build artifacts
+        run: |
+          ./tools/test-build ant
+          ant release docs
+      - name: Create a release and upload Release Assets
+        run: |
+          cd artifacts
+          sha256sum ./*.zip >> SHASUMS
+          sha256sum ./*.jar >> SHASUMS
+          sha256sum ./*.xz >> SHASUMS
+          sha256sum ./*.gz >> SHASUMS
+          tag_name="${GITHUB_REF##*/}"
+          gh release create "$tag_name" ./*.zip ./*.jar ./*.xz ./*.gz SHASUMS
+        env: 
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}