ci

Merge pull request #2340 from dgageot/board/tui-sidebar-delimiter-cha… #5035

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	11s
license-check	11s
build-and-test	10s
build-image	1s
	33s