vscode-lean4 build

feat: client-side support for incremental diagnostics #3172

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-and-test-linux	4m 3s
package	1m 38s
build-and-test-windows	5m 43s
pre-release	0s
release	0s
publish-packages	0s
publish-ovsx	-1s
publish-vsce	-1s
github-release	0s
	11m 22s

⚡