Add release workflow

kind2-mc · Jun 22, 2023 · 8851a1c · 8851a1c
1 parent 22eff36
commit 8851a1c
Show file tree

Hide file tree

Showing 2 changed files with 27 additions and 0 deletions.
diff --git a/.github/workflows/gradle.yml → .github/workflows/ci.yml b/.github/workflows/gradle.yml → .github/workflows/ci.yml
diff --git a/.github/workflows/release.yml 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