1# Generated from xtask::workflows::extension_workflow_rollout
2# Rebuild with `cargo xtask workflows`.
3name: extension_workflow_rollout
4env:
5 CARGO_TERM_COLOR: always
6on:
7 workflow_dispatch: {}
8jobs:
9 fetch_extension_repos:
10 runs-on: namespace-profile-2x4-ubuntu-2404
11 steps:
12 - id: list-repos
13 name: extension_workflow_rollout::fetch_extension_repos::get_repositories
14 uses: actions/github-script@v7
15 with:
16 script: |
17 const repos = await github.paginate(github.rest.repos.listForOrg, {
18 org: 'zed-extensions',
19 type: 'public',
20 per_page: 100,
21 });
22
23 const filteredRepos = repos
24 .filter(repo => !repo.archived)
25 .filter(repo => repo.name !== 'workflows' && repo.name !== 'material-icon-theme')
26 .map(repo => repo.name);
27
28 console.log(`Found ${filteredRepos.length} extension repos`);
29 return filteredRepos;
30 result-encoding: json
31 outputs:
32 repos: ${{ steps.list-repos.outputs.result }}
33 timeout-minutes: 5
34 rollout_workflows_to_extension:
35 needs:
36 - fetch_extension_repos
37 if: needs.fetch_extension_repos.outputs.repos != '[]'
38 runs-on: namespace-profile-2x4-ubuntu-2404
39 strategy:
40 matrix:
41 repo: ${{ fromJson(needs.fetch_extension_repos.outputs.repos) }}
42 fail-fast: false
43 max-parallel: 5
44 steps:
45 - id: get-app-token
46 name: steps::authenticate_as_zippy
47 uses: actions/create-github-app-token@bef1eaf1c0ac2b148ee2a0a74c65fbe6db0631f1
48 with:
49 app-id: ${{ secrets.ZED_ZIPPY_APP_ID }}
50 private-key: ${{ secrets.ZED_ZIPPY_APP_PRIVATE_KEY }}
51 - name: checkout_zed_repo
52 uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
53 with:
54 clean: false
55 path: zed
56 - name: steps::checkout_repo_with_token
57 uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
58 with:
59 clean: false
60 token: ${{ steps.get-app-token.outputs.token }}
61 repository: zed-extensions/${{ matrix.repo }}
62 path: extension
63 - name: extension_workflow_rollout::rollout_workflows_to_extension::copy_workflow_files
64 run: |
65 mkdir -p extension/.github/workflows
66 cp zed/extensions/workflows/*.yml extension/.github/workflows/
67 shell: bash -euxo pipefail {0}
68 - id: short-sha
69 name: extension_workflow_rollout::rollout_workflows_to_extension::get_short_sha
70 run: |
71 echo "sha_short=$(git rev-parse --short HEAD)" >> "$GITHUB_OUTPUT"
72 shell: bash -euxo pipefail {0}
73 working-directory: zed
74 - id: create-pr
75 name: extension_workflow_rollout::rollout_workflows_to_extension::create_pull_request
76 uses: peter-evans/create-pull-request@v7
77 with:
78 path: extension
79 title: Update CI workflows to zed@${{ steps.short-sha.outputs.sha_short }}
80 body: |
81 This PR updates the CI workflow files from the main Zed repository
82 based on the commit zed-industries/zed@${{ github.sha }}
83 commit-message: Update CI workflows to zed@${{ steps.short-sha.outputs.sha_short }}
84 branch: update-workflows
85 committer: zed-zippy[bot] <234243425+zed-zippy[bot]@users.noreply.github.com>
86 author: zed-zippy[bot] <234243425+zed-zippy[bot]@users.noreply.github.com>
87 base: main
88 delete-branch: true
89 token: ${{ steps.get-app-token.outputs.token }}
90 sign-commits: true
91 - name: extension_workflow_rollout::rollout_workflows_to_extension::enable_auto_merge
92 run: |
93 PR_NUMBER="${{ steps.create-pr.outputs.pull-request-number }}"
94 if [ -n "$PR_NUMBER" ]; then
95 cd extension
96 gh pr merge "$PR_NUMBER" --auto --squash
97 fi
98 shell: bash -euxo pipefail {0}
99 env:
100 GH_TOKEN: ${{ steps.get-app-token.outputs.token }}
101 timeout-minutes: 10