Release and publish extension

Merge pull request #588 from github/release/0.31.5 #66

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check-version-change	5s
release	1m 37s
publish	6s
check-version-change	5s
publish	7s
release	1m 37s
	3m 37s