vscode-lean4 build

Release 0.0.235 (pre-release) #3190

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
package	1m 36s
build-and-test-windows	6m 15s
build-and-test-linux	3m 43s
publish-packages	-1s
pre-release	-1s
release	-1s
publish-ovsx	0s
publish-vsce	-1s
github-release	-1s
	11m 29s

⚡