CI

build: automatically fetch stubs from GitHub #252

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check	29s
Formatting	15s
PHP Lint	15s
Benchmark (PR comparison)	7m 9s
Clippy	45s
Test	2m 6s
Benchmark	-1s
	10m 58s