Repository navigation

Test

chore: ready the repository for public visibility #1289

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
harness-proof	1m 3s
build	1m 57s
harlan-desktop / typecheck	44s
harlan-desktop / test	3m 15s
harlan-desktop / lint	57s
published-cli-grammar	-1s
	7m 55s