Docs site serves a build from 2026-07-07: mike deploys to gh-pages, Pages never rebuilds #201

The documentation site https://opensemanticlab.github.io/osw-python/ serves a build from 2026-07-07. Every page added since then returns 404, and mike's version paths do not exist on the site.

Checked on 2026-09-22:

Cause

The repository Pages setting and the deployment method disagree.

• GET /repos/OpenSemanticLab/osw-python/pages returns "build_type": "workflow", "source": {"branch": "gh-pages", "path": "/"}, "status": "built".
• With build_type: workflow, a push to gh-pages does not start a pages-build-deployment build. The last build and the last github-pages deployment are both from 2026-07-07T08:45Z, for gh-pages commit 641d919.
• No workflow uploads a Pages artifact. actions/upload-pages-artifact, actions/deploy-pages and actions/configure-pages appear in no file under .github/workflows/.
• The documentation is deployed with mike, which commits to gh-pages:
  

  osw-python/.github/workflows/docs.yml

  Line 41 in d7f0116

  run: uv run mike deploy --push dev

  
  

  osw-python/.github/workflows/on-release-main.yml

  Lines 132 to 133 in d7f0116

  	uv run mike deploy --push --alias-type=copy --update-aliases "$VERSION" latest
  	uv run mike set-default --push latest

• The gh-pages branch is current. Its head commit of 2026-09-22 13:50Z says Deployed efde689 to 2.7.0 with Zensical 0.0.47 and mike 2.2.0+zensical-0.1.0. The tree holds versions.json, latest/, dev/tools/mcp/ and the version directories 2.0.0 to 2.7.0. None of it is served.
• docs.yml states the expected setting in its first lines: "versioned docs on the gh-pages branch; repo setting: Pages source = 'Deploy from a branch: gh-pages'". The repository setting does not match.
  

  osw-python/.github/workflows/docs.yml

  Lines 1 to 2 in d7f0116

  	# Deploys the documentation with mike (versioned docs on the gh-pages
  	# branch; repo setting: Pages source = "Deploy from a branch: gh-pages").

Fix

A repository admin sets Pages to "Deploy from a branch", branch gh-pages, folder /. This is what docs.yml and on-release-main.yml already assume, so no code change is needed. Keeping build_type: workflow and adding an upload and deploy job would duplicate what mike does.

The unversioned files at the root of gh-pages (index.html, tools/, osw/, tutorials/ and others) remain from the deployment before mike. After the switch, mike set-default --push latest decides what the root serves, so those files can be removed in a separate step.

Effect

No documentation URL can be linked from code, help output or a README. #200 points the osw-mcp help text at the file on GitHub instead of the documentation site for this reason.