Merge pull request #1529 from informalsystems/rano/precompiled-binaries

feat: include compiled binaries in releases

Author: bugarela

.github/upload-binaries.sh

@@ -0,0 +1,90 @@
+#!/bin/bash
+
+set -euo pipefail
+
+usage() {
+  echo "Usage: $0 [--publish] <repository> <version>"
+  echo "Examples:"
+  echo "  $0 informalsystems/quint v0.22.2"
+  echo "  $0 --publish informalsystems/quint v0.22.2"
+  exit 1
+}
+
+DRY_RUN=true
+REPO=""
+VERSION=""
+
+while [[ $# -gt 0 ]]; do
+  case "$1" in
+    --publish)
+      DRY_RUN=false
+      shift
+      ;;
+    -h|--help)
+      usage
+      ;;
+    *)
+      if [[ -z "$REPO" ]]; then
+        REPO="$1"
+      elif [[ -z "$VERSION" ]]; then
+        VERSION="$1"
+      else
+        usage
+      fi
+      shift
+      ;;
+  esac
+done
+
+if [[ -z "$REPO" || -z "$VERSION" ]]; then
+  usage
+fi
+
+VERSION="${VERSION#v}"
+RELEASE_TAG="v$VERSION"
+
+if [ "$DRY_RUN" == false ]; then
+  if [ "${GH_TOKEN:-}" = "" ]; then
+    GH_TOKEN=$(gh auth token 2>/dev/null || true)
+    if [ "$GH_TOKEN" = "" ]; then
+      echo "GitHub authentication token not found. Run 'gh auth login' to authenticate."
+      exit 1
+    fi
+  fi
+fi
+
+TARGETS=(
+  "x86_64-unknown-linux-gnu:linux-amd64"
+  "aarch64-unknown-linux-gnu:linux-arm64"
+  "aarch64-apple-darwin:macos-arm64"
+  "x86_64-apple-darwin:macos-amd64"
+  "x86_64-pc-windows-msvc:pc-amd64.exe"
+)
+
+for target_config in "${TARGETS[@]}"; do
+  IFS=":" read -r TARGET SUFFIX <<< "$target_config"
+
+  echo "Compiling for target: $TARGET"
+  deno compile \
+    --allow-all \
+    --node-modules-dir=auto \
+    --allow-scripts \
+    --target "$TARGET" \
+    --output "quint-$SUFFIX" \
+    "npm:@informalsystems/quint@$VERSION"
+
+  echo "Generating SHA256 hash for quint-$SUFFIX"
+  sha256sum "quint-$SUFFIX" > "quint-$SUFFIX.sha256"
+
+  if [ "$DRY_RUN" == true ]; then
+    echo "[dry run] gh release upload \"$RELEASE_TAG\" \"quint-$SUFFIX\" \"quint-$SUFFIX.sha256\" --repo \"$REPO\" --clobber"
+  else
+    gh release upload "$RELEASE_TAG" \
+      "quint-$SUFFIX" \
+      "quint-$SUFFIX.sha256" \
+      --repo "$REPO" \
+      --clobber
+  fi
+done
+
+echo "Release process complete."

.github/workflows/release.yml

@@ -35,8 +35,58 @@ jobs:
         uses: softprops/action-gh-release@v1
         with:
           body_path: ${{ github.workspace }}/release-notes.txt
+          token: ${{ secrets.GITHUB_TOKEN }}
       - name: Publish
         # See https://docs.github.com/en/actions/publishing-packages/publishing-nodejs-packages#publishing-packages-to-the-npm-registry
         run: npm publish
         env:
           NODE_AUTH_TOKEN: ${{ secrets.NPM_TOKEN }}
+  arches:
+    strategy:
+      matrix:
+        os:
+          # linux-amd64
+          - ubuntu-22.04
+          # linux-arm64
+          - ubuntu-22.04-arm
+          # macos-arm64
+          - macos-14
+          # macos-intel
+          - macos-13
+          # pc-amd64
+          - windows-2022
+    needs: release
+    runs-on: ${{ matrix.os }}
+    steps:
+      - name: Install Deno
+        uses: denoland/setup-deno@v2
+        with:
+          deno-version: v2.x
+
+      - name: Wait for NPM
+        timeout-minutes: 30
+        env:
+          REF_NAME: ${{ github.ref_name }}
+        run: |
+          while ! curl -s https://registry.npmjs.org/@informalsystems/quint | jq -er ".versions.\"${REF_NAME#v}\""; do
+            echo "Waiting for NPM to publish version ${REF_NAME#v}..."
+            sleep 30
+          done
+
+          deno run --allow-all --node-modules-dir=auto --allow-scripts "npm:@informalsystems/quint@${REF_NAME#v}" --version
+  binaries:
+    needs: arches
+    runs-on: ubuntu-latest
+    steps:
+      - name: Install Deno
+        uses: denoland/setup-deno@v2
+        with:
+          deno-version: v2.x
+
+      - name: Upload assets
+        env:
+          GH_REPO: ${{ github.repository }}
+          REF_NAME: ${{ github.ref_name }}
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+        run: |
+          ./.github/upload-binaries.sh "$GH_REPO" "$REF_NAME" --publish