chore: move team mentions to ce #35534
Triggered via pull request
September 11, 2023 19:06
dionisio-bot[bot]
dionisio-bot[bot]
labeled
#30175
Status
Success
Total duration
16s
Artifacts
–
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention