vscode-lean4 build

feat: client-side support for incremental diagnostics #3136

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Windows	6m 11s
Linux	4m 17s
pre-release	-1s
release	-1s
publish-packages	-1s
	10m 25s

⚡