Paul Inder
Results
2
issues of
Paul Inder
Sets up automatic deployment of documentation to GitHub Pages when code is merged to the main branch. Changes: - Add .github/workflows/docs.yml: CI workflow that builds and deploys docs to GitHub...