Refresh fix CI status
refresh_ciPull the latest CI check-run status for a fix attempt's pull request to confirm it passes before merging.
Instructions
Re-poll GitHub for the latest check-run status of a fix attempt's PR and persist it on the fix_attempt row (does not merge or mutate GitHub). Returns { check_run_status, check_run_conclusion, check_run_updated_at }. Write; idempotent. Use right before merge_fix to confirm CI is green; use get_fix_timeline for the full attempt lifecycle.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| fixId | Yes | Fix attempt UUID whose PR check-runs should be re-polled |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| check_run_status | Yes | GitHub check run status after refresh | |
| check_run_conclusion | Yes | success | failure | neutral | null while pending | |
| check_run_updated_at | Yes | ISO timestamp when CI status was last persisted |