Formatter

chore: mark vaadin-dev-server as development-tool #159

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-permissions / check	5s
Verify Java code format	2m 12s
	2m 17s