github-actions released this 26 Feb 11:55

· 654 commits to main since this release

v0.3.14

cf53783

Deploy doc on last stage, pull request ci

Upload build-doc artifact to be downloaded on the last stage, avoiding a
failed run to write the gh-pages page.
Also, add a pull-request workflow, which is the same as the main.yml but
stopping on the middle-stage.

Signed-off-by: Jorge Marques <[email protected]>