Skip to content

Let the agents' page be deployed by hand from main - #28

Merged
oddessentials merged 1 commit into
mainfrom
pages-manual-deploy
Nov 13, 2026
Merged

oddessentials merged 1 commit into
mainfrom
pages-manual-deploy

Conversation

@oddessentials

Copy link
Copy Markdown
Owner

Page-only merges (like #25 and #27) skip CI, so Pages never runs for them and the agents' page isn't updated.

This adds a manual trigger to the Pages workflow:

  • gh workflow run Pages (or Run workflow on the Actions tab) deploys main.
  • The check job installs Builders from the current latest release and runs the same install and MCP check before deploying.
  • Manual runs only start from main, and only deploy if their commit is still the head of main.
  • Release-triggered deployments are unchanged.

tests/pages_deploy.mjs covers the manual guard: deploys at the head of main, skips once main moves, and never deploys on an API failure.

🤖 Generated with Claude Code

Page-only merges skip CI, so Pages never runs for them. A manual Pages run
now checks the page against the current latest release and deploys main,
skipping if main has moved on before the deploy.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@oddessentials
oddessentials merged commit 7bd0834 into main Nov 13, 2026
5 checks passed
@oddessentials
oddessentials deleted the pages-manual-deploy branch November 13, 2026 20:31
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