mirror of
https://github.com/eth-act/ere.git
synced 2026-04-03 03:00:17 -04:00
5b5a012e26
* feat: add `ere-zisk` and `compile` functionality * fix: use `FixintEncoding` for `Input::as_bytes` to make it deterministic * feat: implement `zkVM::execute` * fix: make `install_zisk_sdk.sh` work with docker * chore: add comment why use `#[should_panic]` * feat: use command `cargo-zisk ...` for `compile`, `execute`, `prove` and `verify` * ci * fix: invalid proof
36 lines
760 B
YAML
36 lines
760 B
YAML
name: Check ZisK Docker Image
|
|
|
|
on:
|
|
push:
|
|
branches:
|
|
- master
|
|
pull_request:
|
|
branches:
|
|
- master
|
|
workflow_dispatch:
|
|
|
|
jobs:
|
|
build_zisk_image:
|
|
name: Build ZisK Docker Image
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
- name: Checkout repository
|
|
uses: actions/checkout@v4
|
|
|
|
- name: Set up Docker Buildx
|
|
uses: docker/setup-buildx-action@v3
|
|
|
|
- name: Build dependent Docker base image
|
|
run: |
|
|
docker build \
|
|
--file docker/base/Dockerfile.base \
|
|
--tag ere-base:latest \
|
|
.
|
|
|
|
- name: Build ZisK Docker image
|
|
run: |
|
|
docker build \
|
|
--file docker/zisk/Dockerfile \
|
|
--tag ere-builder-zisk-check:latest \
|
|
. |