Skip to content

[Merged by Bors] - chore: two dots to cdots #8984

[Merged by Bors] - chore: two dots to cdots

[Merged by Bors] - chore: two dots to cdots #8984

Triggered via pull request May 10, 2024 19:37
Status Success
Total duration 14s
Artifacts

label_new_contributor.yml

on: pull_request
label-and-report-new-contributor
5s
label-and-report-new-contributor
Fit to window
Zoom out
Zoom in