[MAINTENANCE] Deploy documentation to GitHub Pages#314

Merged

beatrycze-volk merged 1 commit intoslub:masterfrom markusweigelt:github-pages-documentation

Oct 11, 2024

+42-6

Commits on Oct 10, 2024

Update documentation.yml
markusweigelt
authored