Skip to content

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

Description

@LukasGold

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:

URL Status
https://opensemanticlab.github.io/osw-python/ 200, the July site
https://opensemanticlab.github.io/osw-python/dev/ 200, the July dev section, not mike's dev version
https://opensemanticlab.github.io/osw-python/latest/ 404
https://opensemanticlab.github.io/osw-python/versions.json 404
https://opensemanticlab.github.io/osw-python/dev/tools/mcp/ 404

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:
    run: uv run mike deploy --push dev

    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.
    # 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.

Activity

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't workingdocumentationImprovements or additions to documentation

    Type

    No type

    Projects

    No projects

      Milestone

      No milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions