CI

Update workstation_list.php #10533

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
gh-travis	0s
pre-commit / pre-commit	1m 49s
phpstan / php-stan (8.2)	1m 21s
phan / Run phan	3m 14s
windows-ci	0s
	6m 24s