Failing CI should block merging

[DigitalBrains1]

Apparently this is not currently the case as per:

I turned on auto-merge for #34, assuming it would only merge if CI passed; but it seems it also merged when it failed.

Anyhow, clash-prelude-hedgehog apparently cannot be built against the tasty-hedgehog included in lts-23.2; so I had to downgrade to lts-22.43

Originally posted by @christiaanb in #35 (comment)

[martijnbastiaan]

This is what we copy all over the place:

• https://github.com/bittide/bittide-hardware/blob/staging/.github/scripts/all_check.py
• https://github.com/bittide/bittide-hardware/blob/2c32c3727668a4c0e56b7e224082397d5250bb5f/.github/workflows/ci.yml#L645-L693
• https://github.com/bittide/bittide-hardware/blob/2c32c3727668a4c0e56b7e224082397d5250bb5f/.github/workflows/ci.yml#L82-L84