Skip to content

[BUGFIX] Update the development tools #1714

[BUGFIX] Update the development tools

[BUGFIX] Update the development tools #1714

PHP Lint (7.2)

succeeded Jan 27, 2025 in 10s
Set up job
1s
Checkout
1s
Install PHP
5s
PHP Lint
1s
Post Checkout
0s
Complete job
0s