Github build pipeline unstable / broken

[vanschelven]

See #2341 which is simply a one-character documentation fix and has a failing pipeline.

[chayim]

@dvora-h this looks like a redismod failure -> bloom failure -> redis-py failure.

[dvora-h]

Yes, that was the issue, I fixed it here #2348