Skip to content

Add GitHub Pages documentation site and stable latest-main release publishing#11

Merged
peterkir merged 2 commits intomainfrom
copilot/create-page-setups-and-github-actions
Mar 13, 2026
Merged

Add GitHub Pages documentation site and stable latest-main release publishing#11
peterkir merged 2 commits intomainfrom
copilot/create-page-setups-and-github-actions

Conversation

Copy link
Copy Markdown
Contributor

Copilot AI commented Mar 13, 2026

Mirrors the pages/release setup from klibio/example.pde.rcp: a Jekyll docs site with a dynamic downloads page backed by a rolling latest-main GitHub Release.

Jekyll docs site (_doc/)

  • _config.yml — Jekyll config with jekyll-github-metadata, jekyll-seo-tag, jekyll-sitemap
  • _layouts/default.html — Responsive layout with sticky nav and auto/light/dark theme toggle (localStorage-persisted)
  • index.md — Project landing page; injects source_revision SHA link at build time
  • downloads.md — Dynamically fetches the latest-main release from the GitHub Releases API and renders a bundle download table; degrades gracefully to a manual release link on error
  • Gemfilegithub-pages gem for local development

GitHub Actions

.github/workflows/jekyll-gh-pages.yml (new)

Triggers on main push or after Continuous Integration succeeds. Injects source_revision: $GITHUB_SHA into _config.yml, builds with actions/jekyll-build-pages, deploys via actions/deploy-pages.

.github/workflows/ci.yml (modified)

  • Bug fix: job output timestamp was referencing the non-existent step id build-release; corrected to steps.timestamp.outputs.timestamp, making artifact names consistent across upload/download steps.
  • New publish-latest-main job: runs only on main push, requires build-release success, downloads the dist bundle, then atomically replaces the latest-main prerelease with all built JARs — providing the stable download URL the docs page links to.
publish-latest-main:
  if: github.ref == 'refs/heads/main' && github.event_name == 'push'
  permissions:
    contents: write
  steps:
    - uses: actions/checkout@...
    - uses: actions/download-artifact@...
    - run: |
        gh release delete latest-main --yes --cleanup-tag 2>/dev/null || true
        gh release create latest-main --prerelease --target "${GITHUB_SHA}" "${JARS[@]}"

📱 Kick off Copilot coding agent tasks wherever you are with GitHub Mobile, available on iOS and Android.

Co-authored-by: peterkir <250545+peterkir@users.noreply.github.com>
Copilot AI changed the title [WIP] Add page setups and GitHub Actions for stable releases Add GitHub Pages documentation site and stable latest-main release publishing Mar 13, 2026
Copilot AI requested a review from peterkir March 13, 2026 09:49
@peterkir peterkir marked this pull request as ready for review March 13, 2026 11:03
@peterkir peterkir merged commit 90f9460 into main Mar 13, 2026
18 checks passed
@peterkir peterkir deleted the copilot/create-page-setups-and-github-actions branch March 13, 2026 12:39
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.

2 participants