Skip to content

[ci] Use public email of bot account#22

Merged
Yannic merged 1 commit intomainfrom
Yannic-patch-1
Jun 23, 2025
Merged

[ci] Use public email of bot account#22
Yannic merged 1 commit intomainfrom
Yannic-patch-1

Commits

Commits on Jun 22, 2025