On Apr 4, 2024, at 17:29, Joshua Root wrote: > > Do that on a branch, make some change to the affected port as well, and push to your fork and let CI run. That presumes it will fail in CI. If it succeeds in CI but fails on buildbot, suspect a case sensitivity issue.