Repository navigation

Test

feat: add a Developers menu and a per-repository Skillgen opt-in #1308

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
harness-proof	1m 5s
build	1m 33s
harlan-desktop / typecheck	1m 5s
harlan-desktop / test	3m 19s
harlan-desktop / lint	55s
published-cli-grammar	-1s
	7m 56s