ci

Merge pull request #2335 from dgageot/board/fix-docker-agent-issue-22… #5037

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
license-check	13s
build-and-test	14s
lint	12s
build-image	1s
	40s