Context

GitHub workflows runs the command make tests only on PRs.

@tnozicka suggested here it could also run on the master branch, after the merge.

Proposal

• Add make tests before make multiversion in the workflow doc-pages.
• Evaluate if we can merge both workflows (docs-pages & docs-pr) in a single file.