Noir Merkle Tree implementation #569
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: CI | |
| on: [push, pull_request] | |
| jobs: | |
| build-lake: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout current branch (sparse) | |
| uses: actions/checkout@v4 | |
| with: | |
| sparse-checkout: | | |
| Lampe | |
| - name: Set up Lean 4 | |
| uses: leanprover/lean-action@v1 | |
| with: | |
| auto-config: false | |
| build: false | |
| test: false | |
| lint: false | |
| use-mathlib-cache: true | |
| lake-package-directory: Lampe | |
| - name: mk_all (lake) | |
| working-directory: Lampe | |
| run: lake exe mk_all --check --lib Lampe | |
| - name: Build (lake) | |
| working-directory: Lampe | |
| run: lake build | |
| - name: Test (lake) | |
| working-directory: Lampe | |
| run: lake test | |
| build-cargo: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout current branch | |
| uses: actions/checkout@v4 | |
| with: | |
| path: lampe | |
| - name: Set up Rust | |
| uses: actions-rs/toolchain@v1 | |
| with: | |
| toolchain: stable | |
| - name: Build (cargo) | |
| working-directory: lampe | |
| run: cargo build --release | |
| test-cargo: | |
| needs: build-cargo | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout current branch | |
| uses: actions/checkout@v4 | |
| with: | |
| path: lampe | |
| - name: Set up Rust | |
| uses: actions-rs/toolchain@v1 | |
| with: | |
| toolchain: stable | |
| - name: Test (cargo) | |
| working-directory: lampe | |
| run: | | |
| export RUST_MIN_STACK=16777216; # 16 MB | |
| cargo test --all | |
| end-to-end: | |
| needs: [build-lake, build-cargo] | |
| runs-on: ubuntu-latest | |
| steps: | |
| - name: Checkout current branch | |
| uses: actions/checkout@v4 | |
| with: | |
| path: lampe | |
| - name: Set up Rust | |
| uses: actions-rs/toolchain@v1 | |
| with: | |
| toolchain: stable | |
| - name: Set up Lean 4 | |
| uses: leanprover/lean-action@v1 | |
| with: | |
| auto-config: false | |
| build: false | |
| test: false | |
| lint: false | |
| use-mathlib-cache: true | |
| lake-package-directory: lampe/Lampe | |
| - name: Run test script | |
| working-directory: lampe | |
| run: ./testing/test.sh |