Skip to content

fix: undoDepStatusAndNumberUpdate wrong constraint fix (#551) #2655

fix: undoDepStatusAndNumberUpdate wrong constraint fix (#551)

fix: undoDepStatusAndNumberUpdate wrong constraint fix (#551) #2655

Workflow file for this run

name: Check compilation
on: [push, pull_request]
jobs:
build:
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v3
# The asset URL for the latest release can be found with:
# curl -L -H "Accept: application/vnd.github+json" \
# -H "Authorization: Bearer YOUR_GH_API_TOKEN" \
# -H "X-GitHub-Api-Version: 2022-11-28" \
# https://api.github.com/repos/ConsenSys/corset/releases/latest
# | jq '.assets[] | select(.name|endswith("x86_64-unknown-linux-musl.tar.gz")) | .url'
- name: Download Corset
run: |
curl -L \
-H "Accept: application/octet-stream" \
-H "Authorization: Bearer ${{ secrets.GITHUB_TOKEN }}" \
-H "X-GitHub-Api-Version: 2022-11-28" \
-o corset.tar.gz \
https://api.github.com/repos/Consensys/corset/releases/assets/203897668
tar xzf corset.tar.gz
mv corset $HOME
- name: Build the constraint system
run: CORSET=$HOME/corset make -B zkevm.bin