vscode-lean4 build

feat: forall icon for lean file icon instead of website favicon (#767) #3185

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
package	1m 39s
build-and-test-linux	3m 58s
build-and-test-windows	6m 17s
release	0s
pre-release	0s
publish-packages	0s
publish-vsce	0s
publish-ovsx	0s
github-release	0s
	11m 54s

⚡