Release and publish extension

Merge pull request #575 from github/release/0.31.1 #62

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-version-change	5s
release	1m 39s
publish	5s
check-version-change	5s
publish	9s
release	1m 39s
	3m 42s