add tlmgr speed test url #11
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
| # --------------------------------------------------------------- | |
| # Workflow File : PR-notify.yml | |
| # File Authors : Aoran Zeng <[email protected]> | |
| # Contributors : Nul None <[email protected]> | |
| # | | |
| # Created On : <2025-06-19> | |
| # Last Modified : <2025-06-28> | |
| # | |
| # Notify PR | |
| # --------------------------------------------------------------- | |
| name: 告知PR者 | |
| on: | |
| pull_request_target: | |
| types: [opened, | |
| ready_for_review, # draft PR 转为正式 PR | |
| review_requested, | |
| reopened] | |
| jobs: | |
| enforce-dev-branch: | |
| name: 强制使用dev分支 | |
| runs-on: ubuntu-latest | |
| # github.event.pull_request_target 内容为空，转而用 pull_request | |
| if: github.event.pull_request.base.ref != 'dev' | |
| steps: | |
| - name: 评论 | |
| uses: thollander/actions-comment-pull-request@v3 | |
| with: | |
| message: | | |
| Hi @${{github.event.pull_request.user.login}}, | |
| ❤️ 感谢你的贡献！你的 PR 当前基于 `${{github.base_ref}}` 分支，请修改使用 `dev` 分支 | |
| comment-tag: "❤️ 感谢你的贡献！" | |
| - run: | | |
| echo "::error::❌ PR 必须以 dev 分支为目标！当前是 ${GITHUB_BASE_REF}" | |
| exit 1 | |
| welcome: | |
| name: 欢迎PR者 | |
| runs-on: ubuntu-latest | |
| if: github.event.pull_request.base.ref == 'dev' | |
| steps: | |
| - name: 评论 | |
| uses: peter-evans/create-or-update-comment@v4 | |
| with: | |
| issue-number: ${{ github.event.pull_request.number }} | |
| body: | | |
| Hi @${{github.event.pull_request.user.login}}, | |
| ❤️ 感谢你的贡献！我们将在5天内阅读此 PR 并回复你 | |
| edit-mode: replace | |
| reactions: heart |