From bf40c33e29de84f23b379e7115a3ddfcdb2ddb0d Mon Sep 17 00:00:00 2001
From: Hendrik Eeckhaut <hendrik@eeckhaut.org>
Date: Fri, 29 Dec 2023 10:35:26 +0100
Subject: [PATCH] Added GitHub build workflow

lint at the end of the build workflow

# Conflicts:
#	package.json
#	src/worker.ts
---
 .github/workflows/build.yaml | 69 ++++++++++++++++++++++++++++++++++++
 1 file changed, 69 insertions(+)
 create mode 100644 .github/workflows/build.yaml

diff --git a/.github/workflows/build.yaml b/.github/workflows/build.yaml
new file mode 100644
index 0000000..eeaaaa9
--- /dev/null
+++ b/.github/workflows/build.yaml
@@ -0,0 +1,69 @@
+name: build
+
+on:
+  push:
+    branches: [ main ]
+  pull_request:
+    branches: [ main ]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v3
+
+      - name: Install stable rust toolchain
+        uses: dtolnay/rust-toolchain@stable
+        with:
+          targets: wasm32-unknown-unknown
+          toolchain: nightly
+
+      - name: Use caching
+        uses: Swatinem/rust-cache@v2.7.0
+        with:
+          workspaces: . -> wasm/prover
+
+      - name: Install Node.js
+        uses: actions/setup-node@v3
+        with:
+          node-version: 16
+
+      - uses: pnpm/action-setup@v2
+        name: Install pnpm
+        with:
+          version: 8
+          run_install: false
+
+      - name: Get pnpm store directory
+        shell: bash
+        run: |
+          echo "STORE_PATH=$(pnpm store path --silent)" >> $GITHUB_ENV
+
+      - uses: actions/cache@v3
+        name: Setup pnpm cache
+        with:
+          path: ${{ env.STORE_PATH }}
+          key: ${{ runner.os }}-pnpm-store-${{ hashFiles('**/pnpm-lock.yaml') }}
+          restore-keys: |
+            ${{ runner.os }}-pnpm-store-
+
+      - name: Install wasm-pack
+        run: npm install -g wasm-pack
+
+      - name: Install nightly tool-chain
+        run: rustup component add rust-src --toolchain nightly-x86_64-unknown-linux-gnu
+
+      - name: Install dependencies
+        run: pnpm install
+
+      - name: Build WASM
+        run: npm run build:wasm
+
+      - name: Build
+        run: npm run build
+
+      - name: Lint
+        run: npm run lint
\ No newline at end of file