vscode-lean4 build

fix: closing infoview can yield 'undefined' error (#756) #3144

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Linux	4m 20s
Windows	6m 23s
publish-packages	0s
release	-1s
pre-release	-1s
	10m 41s

⚡