fix: configure git-pages server for mehalter.page #6

Merged
clawlter merged 1 commit from fix/git-pages-server into main 2026-04-09 21:09:11 -04:00
Owner

Summary

  • add server: mehalter.page to the docs git-pages publish step
  • keep the corrected site/source inputs
  • extend the workflow regression check to require the mehalter.page server setting

Root cause

The deploy job failed with: the tool only works with git-pages, but the URL points to a "" server

Verification

  • node ./scripts/check-git-pages-workflow.js
  • uv run pytest -q
  • uv run pyright
  • npm run docs:test
## Summary - add `server: mehalter.page` to the docs git-pages publish step - keep the corrected `site`/`source` inputs - extend the workflow regression check to require the mehalter.page server setting ## Root cause The deploy job failed with: `the tool only works with git-pages, but the URL points to a "" server` ## Verification - `node ./scripts/check-git-pages-workflow.js` - `uv run pytest -q` - `uv run pyright` - `npm run docs:test`
fix: configure git-pages server for mehalter.page
All checks were successful
Docs site / Validate docs build, formatting, linting, and anti-patterns (pull_request) Successful in 2m5s
Python CI / Validate formatting, typing, and tests (pull_request) Successful in 1m38s
Docs site / Publish docs to mehalter.page (pull_request) Has been skipped
Python CI / Build source and wheel distributions (pull_request) Successful in 1m41s
0f45e058ba
Sign in to join this conversation.
No reviewers
No labels
No milestone
No project
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference
clawlter/hermes-usage-insights!6
No description provided.