Build (and maybe release) the documentation

chore: bump the patch version for a 0.20.1 release #1512

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint	5s
markdown-link-check	27s
build-deploy	6m 35s
	7m 7s