Skip to content

Fix local area publish Modal entrypoint and disable auto-trigger#593

Closed
baogorek wants to merge 1 commit intomainfrom
fix-local-area-modal-entrypoint
Closed

Fix local area publish Modal entrypoint and disable auto-trigger#593
baogorek wants to merge 1 commit intomainfrom
fix-local-area-modal-entrypoint

Conversation

@baogorek
Copy link
Collaborator

@baogorek baogorek commented Mar 9, 2026

Summary

  • Adds ::main to the modal run command in local_area_publish.yaml so Modal can disambiguate between the two local entrypoints (main and main_promote)
  • Temporarily disables push and repository_dispatch triggers to prevent blocking other workflows; manual workflow_dispatch still works

Closes #592

Test plan

  • Verify PR CI passes
  • After merge, confirm the workflow no longer auto-fires on push to main
  • Manually trigger the workflow via workflow_dispatch to confirm ::main resolves correctly

🤖 Generated with Claude Code

The modal run command failed because local_area.py now has two
local entrypoints (main and main_promote), requiring explicit
::main disambiguation. Also temporarily disables push and
repository_dispatch triggers to prevent blocking other workflows.

Co-Authored-By: Claude Opus 4.6 <[email protected]>
@baogorek
Copy link
Collaborator Author

baogorek commented Mar 9, 2026

Cherry-picked into #594 (commit 9327de8). Closing in favor of the combined PR.

@baogorek baogorek closed this Mar 9, 2026
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.

Local area publish workflow fails: Modal cannot auto-detect entrypoint

1 participant