ci

Merge pull request #2375 from dgageot/board/session-concurrency-issue… #5118

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-and-test	3m 57s
lint	2m 50s
license-check	51s
build-image	8m 49s
	16m 27s