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