Skip to content

Add GitHub Pages deployment for DocC documentation#6

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

Add GitHub Pages deployment for DocC documentation#6
mikelrob merged 3 commits intomasterfrom
copilot/add-github-pages-setup

Conversation

Copy link
Contributor

Copilot AI commented Nov 20, 2025

Repository lacks public documentation hosting for prospective users to preview API docs.

Changes

Package.swift

  • Bump swift-tools-version 5.3 → 5.6 for plugin support
  • Add swift-docc-plugin dependency

.github/workflows/deploy-docs.yml (new)

  • Build DocC on macOS with static hosting transformation
  • Deploy to GitHub Pages on master branch push
  • Set --hosting-base-path TimeIt for correct asset paths

README.md

Post-merge setup required

Enable GitHub Pages in repository settings, set source to "GitHub Actions". First deployment will run automatically.

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 pages. 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)


✨ Let Copilot coding agent set things up for you — coding agent works faster and does higher quality work when set up for your repo.

Copilot AI and others added 2 commits November 20, 2025 11:29
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 deployment for DocC documentation Nov 20, 2025
Copilot AI requested a review from mikelrob November 20, 2025 11:34
@mikelrob mikelrob marked this pull request as ready for review November 20, 2025 12:21
@mikelrob mikelrob merged commit f04690c into master Nov 20, 2025
6 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