Test deployment

Rewrite Getting Started sections around Counter example and featuring most tools #2021

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Test deployment	2m 1s
	2m 1s