Skip to content

Commit

Permalink
oifjwej
Browse files Browse the repository at this point in the history
  • Loading branch information
delehef committed Dec 22, 2023
1 parent de78107 commit 2708e74
Showing 1 changed file with 13 additions and 2 deletions.
15 changes: 13 additions & 2 deletions .github/workflows/check.yml
Original file line number Diff line number Diff line change
Expand Up @@ -14,8 +14,19 @@ jobs:
env:
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
gh release download v9.1.3 --repo Consensys/corset --pattern '*x86_64-unknown-linux-musl.tar.gz' --output corset.tar.gz
tar xvf corset.tar.gz
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/141813824
echo "Content:"
cat corset.tar.gz
echo "EndContent"
tar xzf corset.tar.gz
mv corset $HOME
- name: Build the constraint system
run: CORSET=$HOME/corset make -B zkevm.bin

0 comments on commit 2708e74

Please sign in to comment.