Remove the docs GitHub Actions.

PlantUML relies on system fonts which are different from one machine to
the other. This is tricky to troubleshoot and blocks all PRs currently.
We will discuss in the community if we want to keep PlantUML or move to
something more popular such as Mermaid.

Author: qbarrand