feat: --pedantic-solving flag
#18543
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: Publish Nargo | |
| on: | |
| workflow_dispatch: | |
| # Allow pushing a manual nightly release | |
| inputs: | |
| tag: | |
| description: The tag to build Nargo from (leave empty to build a nightly release from master) | |
| required: false | |
| features: | |
| description: Extra feature flags to release with | |
| required: false | |
| publish: | |
| description: Whether to publish the build artifacts | |
| type: boolean | |
| default: false | |
| merge_group: | |
| pull_request: | |
| permissions: | |
| # Necessary to upload new release artifacts | |
| contents: write | |
| jobs: | |
| build-apple-darwin: | |
| runs-on: macos-14 | |
| env: | |
| CROSS_CONFIG: ${{ github.workspace }}/.github/Cross.toml | |
| NIGHTLY_RELEASE: ${{ inputs.tag == '' }} | |
| strategy: | |
| matrix: | |
| target: [x86_64-apple-darwin, aarch64-apple-darwin] | |
| timeout-minutes: 30 | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| ref: ${{ inputs.tag || env.GITHUB_REF }} | |
| - name: Setup for Apple Silicon | |
| if: matrix.target == 'aarch64-apple-darwin' | |
| run: | | |
| sudo xcode-select -s /Applications/Xcode_15.4.0.app/Contents/Developer/ | |
| echo "SDKROOT=$(xcrun -sdk macosx$(sw_vers -productVersion) --show-sdk-path)" >> $GITHUB_ENV | |
| echo "MACOSX_DEPLOYMENT_TARGET=$(xcrun -sdk macosx$(sw_vers -productVersion) --show-sdk-platform-version)" >> $GITHUB_ENV | |
| - name: Setup toolchain | |
| uses: dtolnay/[email protected] | |
| with: | |
| targets: ${{ matrix.target }} | |
| - uses: Swatinem/rust-cache@v2 | |
| with: | |
| key: ${{ matrix.target }} | |
| cache-on-failure: true | |
| save-if: ${{ github.event_name != 'merge_group' }} | |
| - name: Build environment and Compile | |
| run: | | |
| cargo build --package nargo_cli --release --target ${{ matrix.target }} --no-default-features --features "${{ inputs.features }}" | |
| - name: Package artifacts | |
| run: | | |
| mkdir dist | |
| cp ./target/${{ matrix.target }}/release/nargo ./dist/nargo | |
| 7z a -ttar -so -an ./dist/* | 7z a -si ./nargo-${{ matrix.target }}.tar.gz | |
| - name: Upload artifact | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: nargo-${{ matrix.target }} | |
| path: ./dist/* | |
| retention-days: 3 | |
| - name: Upload binaries to release tag | |
| uses: svenstaro/upload-release-action@v2 | |
| if: ${{ inputs.publish || github.event_name == 'schedule' }} | |
| with: | |
| repo_name: noir-lang/noir | |
| repo_token: ${{ secrets.GITHUB_TOKEN }} | |
| file: ./nargo-${{ matrix.target }}.tar.gz | |
| asset_name: nargo-${{ matrix.target }}.tar.gz | |
| overwrite: true | |
| tag: ${{ inputs.tag || 'nightly' }} # This will fail if `inputs.tag` is not a tag (e.g. testing a branch) | |
| - name: Get formatted date | |
| id: date | |
| if: ${{ inputs.tag == '' && inputs.publish || github.event_name == 'schedule' }} | |
| run: echo "date=$(date '+%Y-%m-%d')" >> $GITHUB_OUTPUT | |
| - name: Upload binaries to release with date tag | |
| uses: svenstaro/upload-release-action@v2 | |
| if: ${{ inputs.tag == '' && inputs.publish || github.event_name == 'schedule' }} | |
| with: | |
| repo_name: noir-lang/noir | |
| repo_token: ${{ secrets.GITHUB_TOKEN }} | |
| file: ./nargo-${{ matrix.target }}.tar.gz | |
| asset_name: nargo-${{ matrix.target }}.tar.gz | |
| prerelease: true | |
| make_latest: false | |
| overwrite: true | |
| tag: ${{ format('{0}-{1}', 'nightly', steps.date.outputs.date) }} | |
| build-linux: | |
| runs-on: ubuntu-22.04 | |
| env: | |
| CROSS_CONFIG: ${{ github.workspace }}/.github/Cross.toml | |
| NIGHTLY_RELEASE: ${{ inputs.tag == '' }} | |
| strategy: | |
| fail-fast: false | |
| matrix: | |
| target: [x86_64-unknown-linux-gnu, x86_64-unknown-linux-musl, aarch64-unknown-linux-gnu] | |
| timeout-minutes: 30 | |
| steps: | |
| - name: Checkout | |
| uses: actions/checkout@v4 | |
| with: | |
| ref: ${{ inputs.tag || env.GITHUB_REF }} | |
| - name: Setup toolchain | |
| uses: dtolnay/[email protected] | |
| with: | |
| targets: ${{ matrix.target }} | |
| - uses: Swatinem/rust-cache@v2 | |
| with: | |
| key: ${{ matrix.target }} | |
| cache-on-failure: true | |
| save-if: ${{ github.event_name != 'merge_group' }} | |
| - name: Install Cross | |
| uses: taiki-e/install-action@v2 | |
| with: | |
| tool: [email protected] | |
| - name: Build Nargo | |
| run: cross build --package nargo_cli --release --target=${{ matrix.target }} --no-default-features --features "${{ inputs.features }}" | |
| - name: Package artifacts | |
| run: | | |
| mkdir dist | |
| cp ./target/${{ matrix.target }}/release/nargo ./dist/nargo | |
| 7z a -ttar -so -an ./dist/* | 7z a -si ./nargo-${{ matrix.target }}.tar.gz | |
| - name: Upload artifact | |
| uses: actions/upload-artifact@v4 | |
| with: | |
| name: nargo-${{ matrix.target }} | |
| path: ./dist/* | |
| retention-days: 3 | |
| - name: Upload binaries to release tag | |
| uses: svenstaro/upload-release-action@v2 | |
| if: ${{ inputs.publish }} | |
| with: | |
| repo_name: noir-lang/noir | |
| repo_token: ${{ secrets.GITHUB_TOKEN }} | |
| file: ./nargo-${{ matrix.target }}.tar.gz | |
| asset_name: nargo-${{ matrix.target }}.tar.gz | |
| prerelease: true | |
| overwrite: true | |
| tag: ${{ inputs.tag || 'nightly' }} # This will fail if `inputs.tag` is not a tag (e.g. testing a branch) | |
| - name: Get formatted date | |
| id: date | |
| if: ${{ env.NIGHTLY_RELEASE && inputs.publish }} | |
| run: echo "date=$(date '+%Y-%m-%d')" >> $GITHUB_OUTPUT | |
| - name: Upload binaries to release with date tag | |
| uses: svenstaro/upload-release-action@v2 | |
| if: ${{ env.NIGHTLY_RELEASE && inputs.publish }} | |
| with: | |
| repo_name: noir-lang/noir | |
| repo_token: ${{ secrets.GITHUB_TOKEN }} | |
| file: ./nargo-${{ matrix.target }}.tar.gz | |
| asset_name: nargo-${{ matrix.target }}.tar.gz | |
| prerelease: true | |
| make_latest: false | |
| overwrite: true | |
| tag: ${{ format('{0}-{1}', 'nightly', steps.date.outputs.date) }} | |