Skip to content

Use github actor id instead of bot name to avoid renaming issues (#665) #1595

Use github actor id instead of bot name to avoid renaming issues (#665)

Use github actor id instead of bot name to avoid renaming issues (#665) #1595

Ruby v3.2

succeeded Sep 19, 2025 in 2m 0s