https://github.com/apache/infrastructure-actions/actions/runs/15890417264/job/44811795386#step:3:1155 claims it created a PR for the update of setup-sbt to 1.1.11, but I don't see that PR anywhere?