Fix correctness issue in ZkProgram typing #234
Workflow file for this run
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
| # Purpose: We want to build the o1js bindings in CI so that people in the | |
| # community can change them without being scared of breaking things, or | |
| # needing to do the complicated (without nix) build setup. | |
| name: Build o1js bindings | |
| on: | |
| pull_request: | |
| concurrency: | |
| group: ${{ github.workflow }}-${{ github.ref }} | |
| cancel-in-progress: true | |
| jobs: | |
| nix-build: | |
| name: build-bindings-ubuntu | |
| runs-on: [sdk-self-hosted-linux-amd64-build-system] | |
| steps: | |
| - name: Set up Nix | |
| run: echo "PATH=$PATH:/nix/var/nix/profiles/default/bin" >> $GITHUB_ENV | |
| - name: Disable smudging | |
| run: echo "GIT_LFS_SKIP_SMUDGE=1" >> $GITHUB_ENV | |
| - uses: actions/checkout@v4 | |
| with: | |
| submodules: recursive | |
| - name: Build the o1js bindings | |
| run: | | |
| set -Eeu | |
| ./pin.sh | |
| nix run o1js#update-bindings --max-jobs 4 | |
| #fail if this changes any files | |
| cd src/bindings | |
| echo If this check fails you can download a patch from the patch-upload job | |
| echo "https://github.com/o1-labs/o1js/blob/main/README-dev.md#bindings-check-in-ci" | |
| git diff --exit-code | |
| - name: add build to gc-root if on main | |
| if: github.ref == 'refs/heads/main' | |
| run: | | |
| nix build o1js#o1js-bindings --out-link /home/app/actions-runner/nix-cache/main-bindings-gcroot | |
| - name: Cleanup the Nix store | |
| run: | | |
| nix-store --gc --print-dead | |
| nix-store --optimise | |
| patch-upload: | |
| needs: nix-build | |
| if: ${{ failure() }} | |
| runs-on: [sdk-self-hosted-linux-amd64-build-system] | |
| steps: | |
| - name: generate patch | |
| run: | | |
| cd src/bindings | |
| git add . | |
| git diff HEAD > ../../bindings.patch | |
| - name: Upload patch | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: bindings.patch | |
| path: bindings.patch |