ci

Merge pull request #2121 from dgageot/board/our-management-of-thinkin… #71

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
license-check	54s
build-and-test	3m 8s
lint	2m 11s
build-image	10s
	6m 23s