'Lint Kotlin' may not block the merge queue

[david-allison]

https://github.com/ankidroid/Anki-Android/actions/runs/37156269504/job/111300170615 - temporary HTTP error

• fix(browser): safely clean up IdsFile  #22283 (comment)

This might be a visualization issue - just adding this as a task to look into it in more detail and confirm whether it's a problem

[n1snt]

I don’t think this is an issue with the PR. The dependency download failed with a temporary HTTP 503 error, and rerunning the same commit passed. The visualization is a bit misleading because the Gradle summary shows a green checkmark even though the job failed.

[david-allison]

The issue is:

• If a PR is in the merge queue, would a failed 'Lint Kotlin' block the merge, because it should

The PR lint failure... I'll want to de-flake it, but it's not the direct topic, just a cause of a topic. I'm more concerned if a genuine lint failure would make it though to main

[david-allison]

Checked settings and Lint Kotlin will block the merge queue

Treating this as a UI issue