Lint php

Chore(deps-dev): Bump @types/leaflet from 1.9.12 to 1.9.15 #47

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
matrix	6s
php-lint (8.1)	33s
php-lint (8.2)	30s
php-lint (8.3)	33s
php-lint-summary	4s
	1m 46s