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 .map(repo => repo.name);
26
27 console.log(`Found ${filteredRepos.length} extension repos`);
28 return filteredRepos;
29 result-encoding: json
30 outputs:
31 repos: ${{ steps.list-repos.outputs.result }}
32 timeout-minutes: 5
33 rollout_workflows_to_extension:
34 needs:
35 - fetch_extension_repos
36 if: needs.fetch_extension_repos.outputs.repos != '[]'
37 runs-on: namespace-profile-2x4-ubuntu-2404
38 strategy:
39 matrix:
40 repo: ${{ fromJson(needs.fetch_extension_repos.outputs.repos) }}
41 fail-fast: false
42 max-parallel: 5
43 steps:
44 - id: generate-token
45 name: extension_bump::generate_token
46 uses: actions/create-github-app-token@v2
47 with:
48 app-id: ${{ secrets.ZED_ZIPPY_APP_ID }}
49 private-key: ${{ secrets.ZED_ZIPPY_APP_PRIVATE_KEY }}
50 owner: zed-extensions
51 repositories: ${{ matrix.repo }}
52 permission-pull-requests: write
53 permission-contents: write
54 permission-workflows: write
55 - name: checkout_zed_repo
56 uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
57 with:
58 clean: false
59 path: zed
60 fetch-depth: '0'
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 - id: prev-tag
69 name: extension_workflow_rollout::rollout_workflows_to_extension::get_previous_tag_commit
70 run: |
71 PREV_COMMIT=$(git rev-parse "extension-workflows^{commit}" 2>/dev/null || echo "")
72 if [ -z "$PREV_COMMIT" ]; then
73 echo "::error::No previous rollout tag 'extension-workflows' found. Cannot determine file changes."
74 exit 1
75 fi
76 echo "Found previous rollout at commit: $PREV_COMMIT"
77 echo "prev_commit=$PREV_COMMIT" >> "$GITHUB_OUTPUT"
78 working-directory: zed
79 - id: calc-changes
80 name: extension_workflow_rollout::rollout_workflows_to_extension::get_removed_files
81 run: |
82 PREV_COMMIT="${{ steps.prev-tag.outputs.prev_commit }}"
83
84 if [ "${{ matrix.repo }}" = "workflows" ]; then
85 WORKFLOW_DIR="extensions/workflows"
86 else
87 WORKFLOW_DIR="extensions/workflows/shared"
88 fi
89
90 echo "Calculating changes from $PREV_COMMIT to HEAD for $WORKFLOW_DIR"
91
92 # Get deleted files (status D) and renamed files (status R - old name needs removal)
93 # Using -M to detect renames, then extracting files that are gone from their original location
94 REMOVED_FILES=$(git diff --name-status -M "$PREV_COMMIT" HEAD -- "$WORKFLOW_DIR" | \
95 awk '/^D/ { print $2 } /^R/ { print $2 }' | \
96 xargs -I{} basename {} 2>/dev/null | \
97 tr '\n' ' ' || echo "")
98
99 REMOVED_FILES=$(echo "$REMOVED_FILES" | xargs)
100
101 echo "Files to remove: $REMOVED_FILES"
102 echo "removed_files=$REMOVED_FILES" >> "$GITHUB_OUTPUT"
103 working-directory: zed
104 - name: extension_workflow_rollout::rollout_workflows_to_extension::sync_workflow_files
105 run: |
106 REMOVED_FILES="${{ steps.calc-changes.outputs.removed_files }}"
107
108 mkdir -p extension/.github/workflows
109 cd extension/.github/workflows
110
111 if [ -n "$REMOVED_FILES" ]; then
112 for file in $REMOVED_FILES; do
113 if [ -f "$file" ]; then
114 rm -f "$file"
115 fi
116 done
117 fi
118
119 cd - > /dev/null
120
121 if [ "${{ matrix.repo }}" = "workflows" ]; then
122 cp zed/extensions/workflows/*.yml extension/.github/workflows/
123 else
124 cp zed/extensions/workflows/shared/*.yml extension/.github/workflows/
125 fi
126 - id: short-sha
127 name: extension_workflow_rollout::rollout_workflows_to_extension::get_short_sha
128 run: |
129 echo "sha_short=$(git rev-parse --short HEAD)" >> "$GITHUB_OUTPUT"
130 working-directory: zed
131 - id: create-pr
132 name: extension_workflow_rollout::rollout_workflows_to_extension::create_pull_request
133 uses: peter-evans/create-pull-request@v7
134 with:
135 path: extension
136 title: Update CI workflows to `zed@${{ steps.short-sha.outputs.sha_short }}`
137 body: |
138 This PR updates the CI workflow files from the main Zed repository
139 based on the commit zed-industries/zed@${{ github.sha }}
140 commit-message: Update CI workflows to `zed@${{ steps.short-sha.outputs.sha_short }}`
141 branch: update-workflows
142 committer: zed-zippy[bot] <234243425+zed-zippy[bot]@users.noreply.github.com>
143 author: zed-zippy[bot] <234243425+zed-zippy[bot]@users.noreply.github.com>
144 base: main
145 delete-branch: true
146 token: ${{ steps.generate-token.outputs.token }}
147 sign-commits: true
148 - name: extension_workflow_rollout::rollout_workflows_to_extension::enable_auto_merge
149 run: |
150 PR_NUMBER="${{ steps.create-pr.outputs.pull-request-number }}"
151 if [ -n "$PR_NUMBER" ]; then
152 cd extension
153 gh pr merge "$PR_NUMBER" --auto --squash
154 fi
155 env:
156 GH_TOKEN: ${{ steps.generate-token.outputs.token }}
157 timeout-minutes: 10
158 create_rollout_tag:
159 needs:
160 - rollout_workflows_to_extension
161 runs-on: namespace-profile-2x4-ubuntu-2404
162 steps:
163 - id: generate-token
164 name: extension_bump::generate_token
165 uses: actions/create-github-app-token@v2
166 with:
167 app-id: ${{ secrets.ZED_ZIPPY_APP_ID }}
168 private-key: ${{ secrets.ZED_ZIPPY_APP_PRIVATE_KEY }}
169 permission-contents: write
170 - name: steps::checkout_repo_with_token
171 uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
172 with:
173 clean: false
174 token: ${{ steps.generate-token.outputs.token }}
175 fetch-depth: '0'
176 - name: extension_workflow_rollout::create_rollout_tag::configure_git
177 run: |
178 git config user.name "zed-zippy[bot]"
179 git config user.email "234243425+zed-zippy[bot]@users.noreply.github.com"
180 - name: extension_workflow_rollout::create_rollout_tag::update_rollout_tag
181 run: |
182 if git rev-parse "extension-workflows" >/dev/null 2>&1; then
183 git tag -d "extension-workflows"
184 git push origin ":refs/tags/extension-workflows" || true
185 fi
186
187 echo "Creating new tag 'extension-workflows' at $(git rev-parse --short HEAD)"
188 git tag "extension-workflows"
189 git push origin "extension-workflows"
190 timeout-minutes: 1
191defaults:
192 run:
193 shell: bash -euxo pipefail {0}