test(evaluate): assert __all__ membership directly, document existing… #43
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 PR dev -> main | |
| on: | |
| push: | |
| branches: [dev] | |
| permissions: | |
| contents: write | |
| pull-requests: write | |
| jobs: | |
| open-pr: | |
| runs-on: ubuntu-latest | |
| steps: | |
| - uses: actions/checkout@v4 | |
| - name: Open PR dev -> main if not exists | |
| env: | |
| GH_TOKEN: ${{ secrets.AUTO_PR_TOKEN }} | |
| PR_BODY: | | |
| ### Auto-generated PR | |
| Merge latest `dev` changes into `main` to trigger a release. | |
| > **⚠️ Important:** When you click Squash and Merge, ensure the commit message starts with: | |
| > - `fix:` to publish a Patch release (0.0.X) | |
| > - `feat:` to publish a Minor release (0.X.0) | |
| > If it starts with `chore:`, no PyPI package will be published! | |
| run: | | |
| git fetch origin main | |
| COMMITS=$(git log origin/main..origin/dev --oneline | wc -l) | |
| if [ "$COMMITS" -eq 0 ]; then | |
| echo "No commits between dev and main — nothing to release, skipping PR." | |
| exit 0 | |
| fi | |
| PR=$(gh pr list --base main --head dev --state open --json number -q '.[0].number') | |
| if [ -z "$PR" ]; then | |
| gh pr create \ | |
| --base main \ | |
| --head dev \ | |
| --title "fix: merge latest dev updates into main" \ | |
| --body "$PR_BODY" | |
| echo "PR created." | |
| else | |
| echo "PR #$PR already open, skipping." | |
| fi |