New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[MAINTENANCE] Deploy documentation to GitHub Pages #314

Merged

beatrycze-volk merged 1 commit into slub:master from markusweigelt:github-pages-documentation

Oct 11, 2024

Contributor

markusweigelt commented Oct 10, 2024

Building and testing of documentation are still triggered by push and pull_request event
Additionally the documentation is deployed to GitHub Pages when master branch is changed


          Update documentation.yml

9e6c319

beatrycze-volk added this to the DFG-Viewer 6.1.2 milestone

beatrycze-volk added the 🛠️ maintenance label

beatrycze-volk approved these changes

View reviewed changes

beatrycze-volk assigned markusweigelt

beatrycze-volk changed the title ~~Deploy documentation to GitHub Pages~~ [MAINTENANCE] Deploy documentation to GitHub Pages

beatrycze-volk merged commit 270d47e into slub:master

7 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

🛠️ maintenance