Skip to content

ci: add GitHub Pages deployment workflow#204

Merged
joaocarmo merged 1 commit intomainfrom
feat-move-to-gh-actions
Apr 4, 2026
Merged

ci: add GitHub Pages deployment workflow#204
joaocarmo merged 1 commit intomainfrom
feat-move-to-gh-actions

Conversation

@joaocarmo
Copy link
Copy Markdown
Owner

@joaocarmo joaocarmo commented Apr 4, 2026

Request type

  • Chore
  • Feature
  • Fix
  • Refactor
  • Tests
  • Documentation

Summary

Automate documentation deployment on main branch push and remove gh-pages dependency and deploy script.

Check lists

  • Tests passed
  • Coding style respected

feat: automate documentation deployment on main branch push
chore: remove gh-pages dependency and deploy script
@joaocarmo joaocarmo self-assigned this Apr 4, 2026
@joaocarmo joaocarmo added the enhancement An enhancement that doesn't translate into a feature label Apr 4, 2026
@joaocarmo joaocarmo merged commit 5bd8663 into main Apr 4, 2026
3 checks passed
@joaocarmo joaocarmo deleted the feat-move-to-gh-actions branch April 4, 2026 09:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

enhancement An enhancement that doesn't translate into a feature

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant