Allow Hint Space Ids for NativeSumcheck Inputs
#164
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
| # Copied from https://github.com/paradigmxyz/reth/blob/a5755f72eb54d2c88d6f0b5778413144451e1724/.github/workflows/pr-title.yml | |
| name: Pull Request | |
| on: | |
| pull_request: | |
| types: | |
| - opened | |
| - reopened | |
| - edited | |
| - synchronize | |
| permissions: | |
| pull-requests: read | |
| contents: read | |
| jobs: | |
| conventional-title: | |
| name: Validate PR title is Conventional Commit | |
| runs-on: | |
| - runs-on=${{ github.run_id }}/runner=8cpu-linux-x64 | |
| permissions: | |
| pull-requests: write | |
| steps: | |
| - name: Check title | |
| id: lint_pr_title | |
| uses: amannn/action-semantic-pull-request@v5 | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} | |
| with: | |
| types: | | |
| fix | |
| feat | |
| chore | |
| test | |
| perf | |
| refactor | |
| docs | |
| ci | |
| release | |
| audit | |
| continue-on-error: true | |
| - name: Add PR Comment for Invalid Title | |
| if: steps.lint_pr_title.outcome == 'failure' | |
| uses: marocchino/sticky-pull-request-comment@v2 | |
| with: | |
| header: pr-title-lint-error | |
| message: | | |
| Your PR title doesn't follow the Conventional Commit guidelines. | |
| **Example of valid titles:** | |
| - `feat: add new user login` | |
| - `fix: correct button size` | |
| - `docs: update README` | |
| **Usage:** | |
| - `feat`: Introduces a new feature | |
| - `fix`: Patches a bug | |
| - `chore`: General maintenance tasks or updates | |
| - `test`: Adding new tests or modifying existing tests | |
| - `perf`: Performance improvements | |
| - `refactor`: Changes to improve code structure | |
| - `docs`: Documentation updates | |
| - `ci`: Changes to CI/CD configurations | |
| **Breaking Changes** | |
| Breaking changes are noted by using an exclamation mark. For example: | |
| - `feat!: changed the API` | |
| - `chore(node)!: Removed unused public function` | |
| **Help** | |
| For more information, follow the guidelines here: https://www.conventionalcommits.org/en/v1.0.0/ | |
| - name: Remove Comment for Valid Title | |
| if: steps.lint_pr_title.outcome == 'success' | |
| uses: marocchino/sticky-pull-request-comment@v2 | |
| with: | |
| header: pr-title-lint-error | |
| delete: true | |
| - name: Fail workflow if title invalid | |
| if: steps.lint_pr_title.outcome == 'failure' | |
| run: exit 1 |