Repository navigation

dumdum #966

Job	Run time
VS Code extension build + typecheck	24s
Test	1m 23s
Typecheck OpenCode plugin	12s
Lint	37s
PSScriptAnalyzer (embedded *.ps1)	16s
ShellCheck (embedded *.sh)	12s
Typecheck Pi extension	21s
DCO	-1s
	3m 24s