CI

Merge pull request #30 from uweschmitt/master #81

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check licenses	8s
Run code tests	16s
Generate GeoJSON	13s
Deploy webpage	4s
	41s