feat(verifier): assert the outer-LogUp boundary in MASM; restructure kernel public inputs #8098
This file contains hidden or 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: test | |
| on: | |
| push: | |
| branches: [main, next] | |
| pull_request: | |
| types: [opened, reopened, synchronize] | |
| permissions: | |
| contents: read | |
| jobs: | |
| test: | |
| name: test on warpbuild | |
| runs-on: warp-ubuntu-latest-x64-8x | |
| steps: | |
| - uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4.3.1 | |
| with: | |
| persist-credentials: false | |
| - name: Cleanup large tools for build space | |
| uses: ./.github/actions/cleanup-runner | |
| # Do not pin taiki-e's moving tool shortcut tags by hash. Pin a released | |
| # install-action commit and set tool explicitly, or zizmor's | |
| # impostor-commit audit can flag stale shortcut-tag hashes. | |
| - name: Install nextest | |
| uses: taiki-e/install-action@055f5df8c3f65ea01cd41e9dc855becd88953486 # v2.75.18 | |
| with: | |
| tool: cargo-nextest | |
| - uses: WarpBuilds/rust-cache@9d0cc3090d9c87de74ea67617b246e978735b1a1 # v2.9.1 | |
| with: | |
| save-if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/next' }} | |
| - name: Install rust | |
| run: rustup update --no-self-update | |
| - name: Build tests | |
| run: make test-build | |
| - name: test | |
| run: make test | |
| doc-tests: | |
| name: doc-tests | |
| runs-on: warp-ubuntu-latest-x64-8x | |
| steps: | |
| - uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4.3.1 | |
| with: | |
| persist-credentials: false | |
| - name: Cleanup large tools for build space | |
| uses: ./.github/actions/cleanup-runner | |
| - uses: WarpBuilds/rust-cache@9d0cc3090d9c87de74ea67617b246e978735b1a1 # v2.9.1 | |
| with: | |
| save-if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/next' }} | |
| - name: Install rust | |
| run: rustup update --no-self-update | |
| - name: Run doc-tests | |
| run: make test-docs | |
| check-core-lib-docs: | |
| name: check core library docs | |
| runs-on: warp-ubuntu-latest-x64-8x | |
| needs: [test, doc-tests] | |
| steps: | |
| - uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4.3.1 | |
| with: | |
| persist-credentials: false | |
| - name: Cleanup large tools for build space | |
| uses: ./.github/actions/cleanup-runner | |
| - uses: WarpBuilds/rust-cache@9d0cc3090d9c87de74ea67617b246e978735b1a1 # v2.9.1 | |
| with: | |
| save-if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/next' }} | |
| - name: Install rust | |
| run: rustup update --no-self-update | |
| - name: Build core library and generate documentation | |
| run: | | |
| # Build core library with documentation generation enabled | |
| MIDEN_BUILD_LIB_DOCS=1 cargo build -p miden-core-lib | |
| - name: Check for documentation changes in crates/lib/core/docs | |
| run: | | |
| if [ -n "$(git status --porcelain crates/lib/core/docs)" ]; then | |
| echo "ERROR: Found uncommitted changes in crates/lib/core/docs/" | |
| echo "This indicates that the assembly source code has changed but the documentation was not updated." | |
| echo "Please commit the generated documentation changes before merging." | |
| echo "" | |
| echo "To fix this:" | |
| echo "1. Run: MIDEN_BUILD_LIB_DOCS=1 cargo build -p miden-core-lib" | |
| echo "2. Commit the changes in crates/lib/core/docs/" | |
| echo "" | |
| echo "Uncommitted changes:" | |
| git status crates/lib/core/docs | |
| echo "" | |
| echo "Diff:" | |
| git diff crates/lib/core/docs | |
| exit 1 | |
| else | |
| echo "No documentation changes in crates/lib/core/docs/ - OK" | |
| fi | |
| check-constraints: | |
| name: check recursive constraint artifacts | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4.3.1 | |
| with: | |
| persist-credentials: false | |
| - name: Cleanup large tools for build space | |
| uses: ./.github/actions/cleanup-runner | |
| - uses: Swatinem/rust-cache@c19371144df3bb44fab255c43d04cbc2ab54d1c4 # v2.9.1 | |
| with: | |
| save-if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/next' }} | |
| - name: Install rust | |
| run: rustup update --no-self-update | |
| - name: Check recursive constraint artifacts for drift | |
| run: make check-constraints | |
| run-examples: | |
| name: run masm examples | |
| runs-on: warp-ubuntu-latest-x64-8x | |
| steps: | |
| - uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4.3.1 | |
| with: | |
| persist-credentials: false | |
| - name: Cleanup large tools for build space | |
| uses: ./.github/actions/cleanup-runner | |
| - uses: WarpBuilds/rust-cache@9d0cc3090d9c87de74ea67617b246e978735b1a1 # v2.9.1 | |
| with: | |
| save-if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/next' }} | |
| - name: Install rust | |
| run: rustup update --no-self-update | |
| - name: Run masm examples | |
| run: make run-examples | |
| check-features: | |
| name: check all feature combinations | |
| runs-on: warp-ubuntu-latest-x64-8x | |
| steps: | |
| - uses: actions/checkout@34e114876b0b11c390a56381ad16ebd13914f8d5 # v4.3.1 | |
| with: | |
| persist-credentials: false | |
| - name: Cleanup large tools for build space | |
| uses: ./.github/actions/cleanup-runner | |
| - uses: WarpBuilds/rust-cache@9d0cc3090d9c87de74ea67617b246e978735b1a1 # v2.9.1 | |
| with: | |
| save-if: ${{ github.event_name == 'push' && github.ref == 'refs/heads/next' }} | |
| - name: Install rust | |
| run: rustup update --no-self-update | |
| # Keep this on a released install-action commit with an explicit tool; see | |
| # the nextest install above for the zizmor/tool-shortcut rationale. | |
| - name: Install cargo-hack | |
| uses: taiki-e/install-action@055f5df8c3f65ea01cd41e9dc855becd88953486 # v2.75.18 | |
| with: | |
| tool: cargo-hack | |
| - name: Check all feature combinations | |
| run: make check-features |