Build and check

Fix #81: Replace gitter by discord #27

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	3m 27s
Lint	1m 54s
Unit Test	4m 34s
Instrumentation Test	5m 20s
	15m 15s