Check that docs can build in PRs

[bzp99]

Currently we check successful Gradle build in the build.yml workflow that runs for PRs. We should consider also checking that the hopefully updated documentation also builds with mkdocs.