Merging #687 (3e59af9) into master (8a291bc) will not change coverage.
The diff coverage is n/a.
:exclamation: Current head 3e59af9 differs from pull request most recent head 5aa413f. Consider uploading reports for the commit 5aa413f to get more accurate results
Description
This moves building of docs to Github actions and hosting to Github Pages
Changelog description
Docs are now hosted on github pages
Status