Documentation test fails for forks

The documentation test fails when run on a fork see e.g. this job. It fails because the new tags are not known:

$ bash build_docs.sh
error: pathspec 'v0.13.3' did not match any file(s) known to git

This will probably be fixed by adding git fetch --tags --all to the build_docs.sh script.