Merge branch '20240212/rafaelromao/main' into 20231007/urob/improve-c… #188

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
get-changed-files	3s
get-grouped-hardware	10s
core-coverage	0s
nightly	0s
board-changes	0s
compile-matrix	4s
	17s