CI

Merge pull request #208 from wojtekmaj/fix-issue-188-license-copyright #28

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Format	7s
Build	16s
Type checking	12s
Unit tests	13s
Lint	7s
	55s