Skip to content
whitespace_checks

Mainmenu: Trim whitespace from player name, address, port #2800

Sign in to view logs

Mainmenu: Trim whitespace from player name, address, port

Mainmenu: Trim whitespace from player name, address, port #2800

Triggered via pull request March 24, 2025 22:37
@grorpgrorp
synchronize #15939
grorp:trailing
Status Success
Total duration 5m 49s
Artifacts –

whitespace_checks.yml

on: pull_request
trailing_whitespaces
6s
trailing_whitespaces
indent_spaces
12s
indent_spaces
tabs_lua_api_files
5s
tabs_lua_api_files
Fit to window
Zoom out
Zoom in