chore: remove use of pedersen where possible (#19823) #1004
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: Auto-Close Issues from Merge Commits | |
| on: | |
| push: | |
| branches: | |
| - next | |
| jobs: | |
| auto-close-issues: | |
| runs-on: ubuntu-latest | |
| permissions: | |
| contents: read | |
| issues: write | |
| pull-requests: read | |
| steps: | |
| - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 | |
| with: | |
| # Conservative depth that avoids historical large files while covering typical merge scenarios | |
| fetch-depth: 200 | |
| - name: Close issues from merged PRs | |
| env: | |
| GITHUB_TOKEN: ${{ secrets.AZTEC_BOT_GITHUB_TOKEN }} | |
| run: | | |
| python3 scripts/auto_close_issues.py "${{ github.event.before }}" "${{ github.sha }}" |