vscode-lean4 build

feat: adjusted "fetch mathlib cache for ..." commands #3152

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Windows	7m 1s
Linux	4m 0s
release	0s
publish-packages	0s
pre-release	0s
	11m 1s

⚡