Skip to content

Add GitHub Pages documentation deployment#9

Merged
mikelrob merged 3 commits intomasterfrom
copilot/add-github-pages-deployment
Nov 20, 2025
Merged

Add GitHub Pages documentation deployment#9
mikelrob merged 3 commits intomasterfrom
copilot/add-github-pages-deployment

Conversation

Copy link
Contributor

Copilot AI commented Nov 20, 2025

The repository lacked a public documentation site for prospective users to preview the API.

Changes

  • GitHub Actions workflow (.github/workflows/documentation.yml): Builds Swift DocC documentation on macOS, converts to static HTML, deploys to Pages on push to master
  • README update: Added documentation link to https://mikelrob.github.io/Animations/documentation/animations/
  • Setup guide (GITHUB_PAGES_SETUP.md): Instructions for repository owner to enable Pages with "GitHub Actions" source

Activation Required

Repository owner must enable GitHub Pages in Settings → Pages → Source: "GitHub Actions" for deployment to function.

Original prompt

This section details on the original issue you should resolve

<issue_title>No GitHub pages</issue_title>
<issue_description>This repo doesn't have a GitHub pages page. It should have it's docs deployed to GitHub pages for prospective users to preview.
</issue_description>

Comments on the Issue (you are @copilot in this section)


💬 We'd love your input! Share your thoughts on Copilot coding agent in our 2 minute survey.

Copilot AI and others added 2 commits November 20, 2025 16:22
Co-authored-by: mikelrob <3390342+mikelrob@users.noreply.github.com>
Co-authored-by: mikelrob <3390342+mikelrob@users.noreply.github.com>
Copilot AI changed the title [WIP] Add GitHub Pages for documentation deployment Add GitHub Pages documentation deployment Nov 20, 2025
Copilot AI requested a review from mikelrob November 20, 2025 16:26
@mikelrob mikelrob marked this pull request as ready for review November 20, 2025 16:29
@mikelrob mikelrob merged commit d2e73a3 into master Nov 20, 2025
4 checks passed
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.

No GitHub pages

2 participants