Skip to content

Remove Modal custom domain wiring and pin core#1524

Merged
anth-volk merged 1 commit into
mainfrom
codex/remove-modal-custom-domain-pin-core
May 15, 2026
Merged

Remove Modal custom domain wiring and pin core#1524
anth-volk merged 1 commit into
mainfrom
codex/remove-modal-custom-domain-pin-core

Conversation

@anth-volk
Copy link
Copy Markdown
Collaborator

Fixes #1523

Summary

  • Remove Modal gateway custom-domain registration so deploys do not try to claim the production URL before cutover.
  • Keep the stable Modal gateway endpoint label for generated Modal URLs.
  • Add an explicit policyengine-core>=3.26.5 dependency and refresh uv.lock.
  • Add a Towncrier changelog fragment.

Local checks

  • uv run --extra dev pytest -vv --timeout=150 -rP tests/unit/modal_release/test_gateway_app.py
  • make format-check
  • uv run ruff check policyengine_household_api/modal_release/gateway_app.py tests/unit/modal_release/test_gateway_app.py
  • uv run ruff check . still fails on existing unrelated repo-wide lint issues; changed files pass.

@anth-volk
Copy link
Copy Markdown
Collaborator Author

Note: temporary fix to allow local testing

@anth-volk anth-volk marked this pull request as ready for review May 15, 2026 14:08
@anth-volk anth-volk merged commit 2ca7fee into main May 15, 2026
5 checks passed
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.

Remove Modal custom-domain registration and pin policyengine-core

1 participant