CI-PUSH

Merge pull request #32442 from Gouttfi/chore-contributing #568

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
pre-commit / pre-commit	3m 3s
phan / Run phan	3m 5s
phpstan / php-stan (8.2)	2m 22s
gh-travis	0s
windows-ci	0s
	8m 30s