CI

Merge branch 'main' into chore/changelog-compare #1824

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
tictactoe-example (18)	1m 5s
ci (18)	43s
sudoku-example (18)	3m 17s
publish (18)	13s
	5m 18s