WIP: Make ports configurable and change default ports #61

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
list-examples	5s
test_examples (sw5)	1m 1s
test_examples (sw6)	58s
	2m 4s