Skip to content

Commit

Permalink
Merge branch 'main' into 15-07-add-poly
Browse files Browse the repository at this point in the history
  • Loading branch information
carlogf committed Aug 26, 2024
2 parents 31ae9bd + f49a13f commit 2343341
Show file tree
Hide file tree
Showing 48 changed files with 6,389 additions and 1,040 deletions.
9 changes: 9 additions & 0 deletions .github/workflows/cairo-ci.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -8,6 +8,7 @@ on:
types:
- opened
- reopened
- edited
- synchronize
- auto_merge_enabled

Expand Down Expand Up @@ -36,6 +37,8 @@ jobs:
working-directory: ./stwo_cairo_prover
steps:
- uses: actions/checkout@v3
with:
lfs: true
- uses: dtolnay/rust-toolchain@master
with:
components: rustfmt
Expand All @@ -46,6 +49,9 @@ jobs:

format:
runs-on: ubuntu-latest
defaults:
run:
working-directory: ./stwo_cairo_prover
steps:
- uses: actions/checkout@v3
- uses: dtolnay/rust-toolchain@master
Expand All @@ -57,6 +63,9 @@ jobs:

clippy:
runs-on: ubuntu-latest
defaults:
run:
working-directory: ./stwo_cairo_prover
steps:
- uses: actions/checkout@v2
- uses: dtolnay/rust-toolchain@master
Expand Down
Loading

0 comments on commit 2343341

Please sign in to comment.