From 8851a1c2270f615dac41b7034a7d328867bf624f Mon Sep 17 00:00:00 2001
From: Daniel Larraz <daniel-larraz@users.noreply.github.com>
Date: Wed, 21 Jun 2023 19:46:57 -0500
Subject: [PATCH] Add release workflow

---
 .github/workflows/{gradle.yml => ci.yml} |  0
 .github/workflows/release.yml            | 27 ++++++++++++++++++++++++
 2 files changed, 27 insertions(+)
 rename .github/workflows/{gradle.yml => ci.yml} (100%)
 create mode 100644 .github/workflows/release.yml

diff --git a/.github/workflows/gradle.yml b/.github/workflows/ci.yml
similarity index 100%
rename from .github/workflows/gradle.yml
rename to .github/workflows/ci.yml
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
new file mode 100644
index 0000000..441e99c
--- /dev/null
+++ b/.github/workflows/release.yml
@@ -0,0 +1,27 @@
+name: Publish release
+on:
+  release:
+    types: [created]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v2
+    - name: Set up JDK 11
+      uses: actions/setup-java@v1
+      with:
+        java-version: 11
+    - name: Grant execute permission for gradlew
+      run: chmod +x gradlew
+    - name: Build with Gradle
+      run: ./gradlew build
+    - name: Upload release asset
+      env:
+        GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      run: |
+        gh release upload $GITHUB_REF_NAME \
+           ./build/distributions/kind2-language-server.zip \
+           --repo $GITHUB_REPOSITORY