[ci skip] in merge commit builds previous commit

We’ve pushed the fix.

1 Like