File tree Expand file tree Collapse file tree 1 file changed +9
-3
lines changed Expand file tree Collapse file tree 1 file changed +9
-3
lines changed Original file line number Diff line number Diff line change 64
64
id-token : write
65
65
if : github.event_name == 'merge_group'
66
66
steps :
67
- - name : Download built JSON API
67
+ - name : Download built JSON API and sync-team
68
68
uses : actions/download-artifact@v4
69
69
with :
70
70
name : team-api-output
@@ -78,20 +78,26 @@ jobs:
78
78
GITHUB_DEPLOY_KEY : ${{ secrets.GITHUB_DEPLOY_KEY }}
79
79
80
80
- name : Configure AWS credentials
81
- if : github.event_name == 'merge_group'
82
81
uses : aws-actions/configure-aws-credentials@v1
83
82
with :
84
83
role-to-assume : arn:aws:iam::890664054962:role/ci--rust-lang--team
85
84
aws-region : us-west-1
86
85
87
86
- name : Start the synchronization tool
88
- if : github.event_name == 'merge_group'
89
87
run : |
90
88
# Introduce some artificial delay to help github pages propagate.
91
89
sleep 60
92
90
aws --region us-west-1 lambda invoke --function-name start-sync-team output.json
93
91
cat output.json | python3 -m json.tool
94
92
93
+ - uses : actions/checkout@v4
94
+
95
+ - name : Run sync-team dry-run
96
+ run : |
97
+ cargo run --manifest-path sync-team/Cargo.toml \
98
+ print-plan \
99
+ --team-json build
100
+
95
101
# Summary job for the merge queue.
96
102
# ALL THE PREVIOUS JOBS NEED TO BE ADDED TO THE `needs` SECTION OF THIS JOB!
97
103
conclusion :
You can’t perform that action at this time.
0 commit comments