cloud_llm_client: Add Baseten language model provider #28043
Workflow file for this run
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
| # Community PR Board — route labeled community PRs to a GitHub Project board | |
| # | |
| # When an area/platform label is added to a community PR (not staff, not bot), | |
| # the PR is added to the project board with a Track field set to the matching | |
| # review area group. Status transitions for assignment, re-request, and | |
| # comment events are handled here. Review-based status changes (approved → | |
| # "In Progress (us)", changes requested → "In Progress (author)") are handled | |
| # by built-in board automations. | |
| # | |
| # See script/community-pr-track-mapping.json for the label→track mapping. | |
| name: Community PR Board | |
| on: | |
| # zizmor: ignore[dangerous-triggers] | |
| # Fork PRs must be supported, but this workflow only reads event metadata and | |
| # checks out scripts from the trusted default branch; it never executes PR code. | |
| pull_request_target: | |
| types: [labeled, unlabeled, assigned, review_requested, edited] | |
| issue_comment: | |
| types: [created] | |
| workflow_dispatch: | |
| inputs: | |
| pr_number: | |
| description: "PR number to process (re-resolves track from current labels)" | |
| required: true | |
| type: number | |
| permissions: | |
| contents: read | |
| concurrency: | |
| group: community-pr-board-${{ github.event.pull_request.number || github.event.issue.number || inputs.pr_number }} | |
| cancel-in-progress: false | |
| jobs: | |
| route-pr: | |
| if: >- | |
| github.repository == 'zed-industries/zed' && | |
| (github.event_name != 'issue_comment' || | |
| (github.event.issue.pull_request && | |
| github.event.comment.user.login == github.event.issue.user.login)) && | |
| !contains(toJSON(github.event.pull_request.labels.*.name), 'staff') && | |
| !contains(toJSON(github.event.pull_request.labels.*.name), 'bot') | |
| runs-on: namespace-profile-2x4-ubuntu-2404 | |
| timeout-minutes: 5 | |
| steps: | |
| - name: Generate app token | |
| id: app-token | |
| uses: actions/create-github-app-token@f8d387b68d61c58ab83c6c016672934102569859 # v3.0.0 | |
| with: | |
| app-id: ${{ secrets.ZED_COMMUNITY_BOT_APP_ID }} | |
| private-key: ${{ secrets.ZED_COMMUNITY_BOT_PRIVATE_KEY }} | |
| owner: zed-industries | |
| repositories: zed | |
| permission-issues: read | |
| permission-members: read | |
| permission-organization-projects: write | |
| permission-pull-requests: read | |
| - name: Checkout repository | |
| uses: actions/checkout@93cb6efe18208431cddfb8368fd83d5badbf9bfd # v5.0.1 | |
| with: | |
| sparse-checkout: | | |
| script/github-community-pr-board.py | |
| script/community-pr-track-mapping.json | |
| sparse-checkout-cone-mode: false | |
| - name: Set up Python | |
| uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 # v5.6.0 | |
| with: | |
| python-version: "3.12" | |
| - name: Install dependencies | |
| run: pip install requests | |
| - name: Route PR to board | |
| env: | |
| GITHUB_TOKEN: ${{ steps.app-token.outputs.token }} | |
| PROJECT_NUMBER: "85" | |
| MANUAL_PR_NUMBER: ${{ inputs.pr_number }} | |
| run: python script/github-community-pr-board.py |