Skip to content

chore(docs) migrate to docusaurus #381

chore(docs) migrate to docusaurus

chore(docs) migrate to docusaurus #381

Workflow file for this run

name: Docker Gnark
on:
push:
branches: [main]
pull_request:
branches:
- "**"
paths:
- "recursion/gnark-ffi/**"
- "recursion/gnark-cli/**"
- "!recursion/gnark-ffi/assets/**"
merge_group:
jobs:
test-docker:
name: Test
runs-on:
[
runs-on,
runner=64cpu-linux-arm64,
spot=false,
"run-id=${{ github.run_id }}",
]
env:
CARGO_NET_GIT_FETCH_WITH_CLI: "true"
steps:
- name: Checkout sources
uses: actions/checkout@v4
- name: Setup CI
uses: ./.github/actions/setup
- name: Build docker image
run: |
docker build -t sp1-gnark -f ./Dockerfile.gnark-ffi .
- name: Run cargo test
uses: actions-rs/cargo@v1
env:
SP1_GNARK_IMAGE: sp1-gnark
with:
command: test
toolchain: 1.81.0
args: --release -p sp1-prover -- --exact tests::test_e2e