Tests

Merge pull request #419 from tobiasmicheler/master #1098

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Static type check	49s
Build and test container	2m 58s
Check formatting	43s
	4m 30s