From bcfa15a9ccea24eb881b60bea92e9d467e287c55 Mon Sep 17 00:00:00 2001 From: Sergey Timoshin Date: Tue, 21 Oct 2025 23:49:48 +0100 Subject: [PATCH 1/6] chore: add docker image publishing to prover release workflow --- .github/workflows/prover-release.yml | 42 ++++++++++++++++++++++++++++ 1 file changed, 42 insertions(+) diff --git a/.github/workflows/prover-release.yml b/.github/workflows/prover-release.yml index 85406325b2..e71d12b75e 100644 --- a/.github/workflows/prover-release.yml +++ b/.github/workflows/prover-release.yml @@ -42,3 +42,45 @@ jobs: prover/server/prover-linux-amd64 prover/server/prover-linux-arm64 prover/server/prover-windows-amd64.exe + + publish_docker: + runs-on: ubuntu-latest + permissions: + contents: read + packages: write + steps: + - name: Checkout sources + uses: actions/checkout@v4 + + - name: Set up Docker Buildx + uses: docker/setup-buildx-action@v3 + + - name: Log in to GitHub Container Registry + uses: docker/login-action@v3 + with: + registry: ghcr.io + username: ${{ github.actor }} + password: ${{ secrets.GITHUB_TOKEN }} + + - name: Extract metadata + id: meta + uses: docker/metadata-action@v5 + with: + images: ghcr.io/${{ github.repository }}/light-prover + tags: | + type=semver,pattern={{version}} + type=semver,pattern={{major}}.{{minor}} + type=semver,pattern={{major}} + type=sha + + - name: Build and push Docker image + uses: docker/build-push-action@v6 + with: + context: ./prover/server + file: ./prover/server/Dockerfile + push: true + tags: ${{ steps.meta.outputs.tags }} + labels: ${{ steps.meta.outputs.labels }} + platforms: linux/amd64,linux/arm64 + cache-from: type=gha + cache-to: type=gha,mode=max From 85ef16d94080de31c296612640d2a6308826a602 Mon Sep 17 00:00:00 2001 From: Sergey Timoshin Date: Tue, 21 Oct 2025 23:55:46 +0100 Subject: [PATCH 2/6] Add Go build and key download steps to prover release --- .github/workflows/prover-release.yml | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/.github/workflows/prover-release.yml b/.github/workflows/prover-release.yml index e71d12b75e..71f4ab2e53 100644 --- a/.github/workflows/prover-release.yml +++ b/.github/workflows/prover-release.yml @@ -52,6 +52,21 @@ jobs: - name: Checkout sources uses: actions/checkout@v4 + - name: Set up Go + uses: actions/setup-go@v6 + with: + go-version-file: "./prover/server/go.mod" + + - name: Build prover binary + run: | + cd prover/server + go build -o light-prover . + + - name: Download proving keys + run: | + cd prover/server + ./light-prover download --run-mode rpc + - name: Set up Docker Buildx uses: docker/setup-buildx-action@v3 From f8caa209e12bb47a906ae1d24ee47b9eb6f362e7 Mon Sep 17 00:00:00 2001 From: Sergey Timoshin Date: Wed, 22 Oct 2025 00:20:33 +0100 Subject: [PATCH 3/6] Add disk space cleanup step to prover release workflow --- .github/workflows/prover-release.yml | 9 +++++++++ 1 file changed, 9 insertions(+) diff --git a/.github/workflows/prover-release.yml b/.github/workflows/prover-release.yml index 71f4ab2e53..7c56f46978 100644 --- a/.github/workflows/prover-release.yml +++ b/.github/workflows/prover-release.yml @@ -8,6 +8,15 @@ jobs: create_release: runs-on: ubuntu-latest steps: + - name: Free Disk Space (Ubuntu) + if: "!contains(inputs.skip-components, 'disk-cleanup')" + uses: jlumbroso/free-disk-space@main + with: + tool-cache: false + swap-storage: false + large-packages: false + docker-images: false + - name: Checkout sources uses: actions/checkout@v4 From e5b1deb8d34bf507c2ad5077a7e0d1f81bdbd990 Mon Sep 17 00:00:00 2001 From: Sergey Timoshin Date: Wed, 22 Oct 2025 00:22:04 +0100 Subject: [PATCH 4/6] Remove disk cleanup condition from prover release --- .github/workflows/prover-release.yml | 1 - 1 file changed, 1 deletion(-) diff --git a/.github/workflows/prover-release.yml b/.github/workflows/prover-release.yml index 7c56f46978..3ffa54eded 100644 --- a/.github/workflows/prover-release.yml +++ b/.github/workflows/prover-release.yml @@ -9,7 +9,6 @@ jobs: runs-on: ubuntu-latest steps: - name: Free Disk Space (Ubuntu) - if: "!contains(inputs.skip-components, 'disk-cleanup')" uses: jlumbroso/free-disk-space@main with: tool-cache: false From e4bf2467d2102e366edd345f4da62c9a01d432bf Mon Sep 17 00:00:00 2001 From: Sergey Timoshin Date: Wed, 22 Oct 2025 00:24:24 +0100 Subject: [PATCH 5/6] Move disk space cleanup step to prover build job --- .github/workflows/prover-release.yml | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/.github/workflows/prover-release.yml b/.github/workflows/prover-release.yml index 3ffa54eded..a9ccd57755 100644 --- a/.github/workflows/prover-release.yml +++ b/.github/workflows/prover-release.yml @@ -8,14 +8,6 @@ jobs: create_release: runs-on: ubuntu-latest steps: - - name: Free Disk Space (Ubuntu) - uses: jlumbroso/free-disk-space@main - with: - tool-cache: false - swap-storage: false - large-packages: false - docker-images: false - - name: Checkout sources uses: actions/checkout@v4 @@ -57,6 +49,14 @@ jobs: contents: read packages: write steps: + - name: Free Disk Space (Ubuntu) + uses: jlumbroso/free-disk-space@main + with: + tool-cache: false + swap-storage: false + large-packages: false + docker-images: false + - name: Checkout sources uses: actions/checkout@v4 From e773713d04987c90abb8ef2902526dd3ee352682 Mon Sep 17 00:00:00 2001 From: Sergey Timoshin Date: Wed, 22 Oct 2025 00:55:25 +0100 Subject: [PATCH 6/6] Fix prover release workflow tag format --- .github/workflows/prover-release.yml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/prover-release.yml b/.github/workflows/prover-release.yml index a9ccd57755..505e4868a5 100644 --- a/.github/workflows/prover-release.yml +++ b/.github/workflows/prover-release.yml @@ -91,9 +91,9 @@ jobs: with: images: ghcr.io/${{ github.repository }}/light-prover tags: | - type=semver,pattern={{version}} - type=semver,pattern={{major}}.{{minor}} - type=semver,pattern={{major}} + type=match,pattern=light-prover-v(.*),group=1 + type=match,pattern=light-prover-(.*),group=1 + type=ref,event=tag type=sha - name: Build and push Docker image