perf(circuit_definitions): adjust proof configs for compression circu… #45
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
| on: | |
| push: | |
| branches: | |
| - main | |
| workflow_dispatch: | |
| env: | |
| CARGO_TERM_COLOR: "always" | |
| CARGO_INCREMENTAL: "0" | |
| RUSTC_WRAPPER: "sccache" | |
| SCCACHE_GHA_ENABLED: "true" | |
| # Rust version to use. | |
| nightly: nightly-2024-08-01 | |
| permissions: | |
| contents: write | |
| pull-requests: write | |
| name: release-please | |
| jobs: | |
| release-please: | |
| runs-on: ubuntu-latest | |
| outputs: | |
| releases_created: ${{ steps.release.outputs.releases_created }} | |
| release_please_output_json: ${{ toJSON(steps.release.outputs) }} | |
| steps: | |
| - name: Run release-please | |
| id: release | |
| uses: googleapis/release-please-action@7987652d64b4581673a76e33ad5e98e3dd56832f # v4.1.3 | |
| with: | |
| token: ${{ secrets.RELEASE_TOKEN }} | |
| config-file: .github/release-please/config.json | |
| manifest-file: .github/release-please/manifest.json | |
| - name: Show outputs | |
| env: | |
| OUTPUTS: ${{ toJSON(steps.release.outputs) }} | |
| run: echo "$OUTPUTS" | |
| process-release: | |
| runs-on: [ubuntu-22.04-github-hosted-32core] | |
| needs: [release-please] | |
| if: ${{ needs.release-please.outputs.releases_created == 'true' }} | |
| steps: | |
| - name: Checkout code | |
| uses: actions/checkout@a5ac7e51b41094c92402da3b24376905380afc29 # v4 | |
| - name: Install Rust | |
| uses: actions-rust-lang/setup-rust-toolchain@v1 | |
| with: | |
| toolchain: ${{ env.nightly }} | |
| # Remove default `-D warnings`. This is a temporary measure. | |
| rustflags: "" | |
| - name: Install sccache | |
| uses: mozilla-actions/[email protected] | |
| - name: Install cargo-workspaces | |
| run: cargo install cargo-workspaces | |
| - name: Build each package separately | |
| run: cargo ws exec cargo build | |
| - name: Login to crates.io | |
| run: cargo login ${{ secrets.CRATES_IO_TOKEN }} | |
| - name: Publish | |
| run: cargo ws publish --publish-as-is --allow-dirty | |
| - name: Set owners for new packages | |
| # `cargo owner --add` fails if the package is already owned by the same entity, | |
| # so we have to check if the package is already owned by the organization. | |
| run: | | |
| ORG_OWNER=github:matter-labs:crates-io | |
| for PKG in $(cargo ws list); do | |
| cargo owner --list --quiet $PKG | grep $ORG_OWNER || cargo owner --add $ORG_OWNER $PKG | |
| done | |
| - name: Send Release Info | |
| uses: matter-labs/format-release-please-for-slack-action@69e6fe9e4ec531b7b5fb0d826f73c190db83cf42 # v2.1.0 | |
| with: | |
| release-please-output: ${{ needs.release-please.outputs.release_please_output_json }} | |
| slack-webhook-url: ${{ secrets.SLACK_WEBHOOK_RELEASES }} | |
| - name: Notify about failure | |
| if: failure() | |
| uses: matter-labs/format-release-please-for-slack-action@69e6fe9e4ec531b7b5fb0d826f73c190db83cf42 # v2.1.0 | |
| with: | |
| release-please-output: '{ "body": "⚠️ Failed to publish the release" }' | |
| slack-webhook-url: ${{ secrets.SLACK_WEBHOOK_RELEASES }} |