Skip to content

ci: add docs deploy workflows#29

Merged
janicduplessis merged 1 commit intomainfrom
chore/add-docs-deploy-workflow
Apr 4, 2026
Merged

ci: add docs deploy workflows#29
janicduplessis merged 1 commit intomainfrom
chore/add-docs-deploy-workflow

Conversation

@janicduplessis
Copy link
Copy Markdown
Collaborator

Summary

  • add a docs build check workflow for docs changes
  • add GitHub Pages deployment for docs on main
  • mirror the safe-area-context docs publishing setup

Testing

  • workflow files only

@janicduplessis janicduplessis merged commit ceada35 into main Apr 4, 2026
5 checks passed
@janicduplessis janicduplessis deleted the chore/add-docs-deploy-workflow branch April 4, 2026 02:51
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant