Improve run-ci's change detection (again)