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: generate-token
46 name: extension_bump::generate_token
47 uses: actions/create-github-app-token@v2
48 with:
49 app-id: ${{ secrets.ZED_ZIPPY_APP_ID }}
50 private-key: ${{ secrets.ZED_ZIPPY_APP_PRIVATE_KEY }}
51 owner: zed-extensions
52 repositories: ${{ matrix.repo }}
53 permission-pull-requests: write
54 permission-contents: write
55 permission-workflows: write
56 - name: checkout_zed_repo
57 uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
58 with:
59 clean: false
60 path: zed
61 - name: steps::checkout_repo_with_token
62 uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
63 with:
64 clean: false
65 token: ${{ steps.generate-token.outputs.token }}
66 repository: zed-extensions/${{ matrix.repo }}
67 path: extension
68 - name: extension_workflow_rollout::rollout_workflows_to_extension::copy_workflow_files
69 run: |
70 mkdir -p extension/.github/workflows
71 cp zed/extensions/workflows/shared/*.yml extension/.github/workflows/
72 shell: bash -euxo pipefail {0}
73 - id: short-sha
74 name: extension_workflow_rollout::rollout_workflows_to_extension::get_short_sha
75 run: |
76 echo "sha_short=$(git rev-parse --short HEAD)" >> "$GITHUB_OUTPUT"
77 shell: bash -euxo pipefail {0}
78 working-directory: zed
79 - id: create-pr
80 name: extension_workflow_rollout::rollout_workflows_to_extension::create_pull_request
81 uses: peter-evans/create-pull-request@v7
82 with:
83 path: extension
84 title: Update CI workflows to zed@${{ steps.short-sha.outputs.sha_short }}
85 body: |
86 This PR updates the CI workflow files from the main Zed repository
87 based on the commit zed-industries/zed@${{ github.sha }}
88 commit-message: Update CI workflows to zed@${{ steps.short-sha.outputs.sha_short }}
89 branch: update-workflows
90 committer: zed-zippy[bot] <234243425+zed-zippy[bot]@users.noreply.github.com>
91 author: zed-zippy[bot] <234243425+zed-zippy[bot]@users.noreply.github.com>
92 base: main
93 delete-branch: true
94 token: ${{ steps.generate-token.outputs.token }}
95 sign-commits: true
96 - name: extension_workflow_rollout::rollout_workflows_to_extension::enable_auto_merge
97 run: |
98 PR_NUMBER="${{ steps.create-pr.outputs.pull-request-number }}"
99 if [ -n "$PR_NUMBER" ]; then
100 cd extension
101 gh pr merge "$PR_NUMBER" --auto --squash
102 fi
103 shell: bash -euxo pipefail {0}
104 env:
105 GH_TOKEN: ${{ steps.generate-token.outputs.token }}
106 timeout-minutes: 10