Skip to content

[DevTools] Don't pluralize if already plural #106

[DevTools] Don't pluralize if already plural

[DevTools] Don't pluralize if already plural #106

Triggered via pull request October 16, 2025 00:53
Status Success
Total duration 21s
Artifacts

devtools_discord_notify.yml

on: pull_request_target
check_access
2s
check_access
check_maintainer  /  check_maintainer
3s
check_maintainer / check_maintainer
Fit to window
Zoom out
Zoom in