Skip to content
lint

Fix group_digits for negative integers #100

Sign in to view logs

Fix group_digits for negative integers

Fix group_digits for negative integers #100

Triggered via pull request March 19, 2024 14:56
@phprusphprus
synchronize #3901
phprus:issue-3891
Status Success
Total duration 3m 46s
Artifacts –

lint.yml

on: pull_request
format_code
28s
format_code
Fit to window
Zoom out
Zoom in