Release and publish extension

Merge pull request #586 from github/release/0.31.4 #65

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-version-change	6s
release	1m 24s
publish	8s
check-version-change	6s
publish	6s
release	1m 24s
	3m 14s