Does the update workflow still work?

[galargh]

I feel like I had to click Update button a couple of times recently which is unexpected.

[galargh]

We skip bot PRs in the udpates - that's why.