Release and publish extension

Merge pull request #580 from github/release/0.31.3 #64

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-version-change	7s
release	1m 34s
publish	10s
	1m 51s