is_ticket_deployed
Check whether a ticket is deployed by verifying each merged MR's frontend and backend changes are covered by the corresponding Jenkins deployment on dev or stage.
Instructions
Verify whether a ticket's merged MRs are deployed on dev or stage.
For each merged MR:
classifies files as frontend (frontend/, .scss/.css outside static/) or backend (static/**, requirements/, apps/, common/, hrdb/**, *.py)
checks if the MR's merge commit was an ancestor of the deployed branch at the time the relevant Jenkins build ran:
FE changes: only
<env>_app_deploymentcan coverBE changes:
<env>_app_deploymentor<env>_backend_deployment
reports per-MR deployed=true/false with reasons
Overall ticket is "deployed" only when every merged MR is fully covered. Un-merged MRs are reported separately.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| ticket_url | Yes | ||
| environment | Yes |