vscode-lean4 build

chore: publish to marketplaces independently and handle partial failures #3158

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
package	1m 36s
Linux	3m 59s
Windows	6m 26s
release	0s
publish-packages	0s
pre-release	0s
publish-vsce	0s
publish-ovsx	0s
github-release	0s
	12m 1s

⚡