CI

Merge branch 'develop' into byproject #8

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
gh-travis	0s
pre-commit / pre-commit	2m 51s
phpstan / php-stan (8.2)	18m 25s
phan / Run phan	3m 20s
windows-ci	0s
	24m 36s