CI

chore: merge main into develop (cloud-results hotfix PR #196 + tombst… #286

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build-vsix	16s
lint	26s
test (windows-latest, 3.13)	1m 5s
test (windows-latest, 3.12)	1m 47s
test (ubuntu-latest, 3.11)	40s
test (ubuntu-latest, 3.13)	43s
test (windows-latest, 3.11)	1m 33s
test (ubuntu-latest, 3.12)	44s
publish-dev	20s
coverage	42s
verify-dev	0s
	8m 16s