chore: remove stale server-change file #15379
Triggered via pull request
July 3, 2026 13:15
devin-ai-integration[bot]
submitted
#4143
Status
Skipped
Total duration
1s
Artifacts
–