Skip to content

Fix GitHub Pages root landing page and enforce entrypoint checks - #19

Merged
fraware merged 1 commit into
mainfrom
fix/pages-root-entrypoint-20261012
Oct 12, 2026
Merged

fraware merged 1 commit into
mainfrom
fix/pages-root-entrypoint-20261012

Conversation

@fraware

@fraware fraware commented Oct 12, 2026

Copy link
Copy Markdown
Owner

Problem

The previous Pages deployment completed successfully, but the deployed archive contained getting-started/index.html and 404.html without a top-level index.html. The site root at /LabTrust-Gym/ consequently returned 404.

Change

  • Create docs/index.md as the project landing page.
  • Point MkDocs Overview to index.md.
  • Fail the Pages build when site/index.html or the getting-started entrypoint is absent.
  • Assert both entrypoints in the strict documentation PR check.

Evidence and validation

  • The successful workflow run 38277644466 produced an artifact lacking root index.html; the deployment itself reported success.
  • Previous main: d87c6678cfa109f46d5f5d967ff279a8d4ca1a07.
  • Require documentation strict check to pass on this PR and verify the Pages deployment after merge.

No historical commits, release tags, or research artifacts are changed.

@fraware
fraware merged commit 7039ccf into main Oct 12, 2026
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.

1 participant