CI

Start playing with Lean #57

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Cross-compile Examples	1m 0s
Unit Tests & Lint	1m 17s
E2E Examples (Emulator)	0s
Release ndkcli	0s
	2m 17s