Dennis Felsing

Styling changes should never be a point of discussion. Just make an automated check if you care for it enough, and then it will be red in CI. If reviewers...

> If that is okay then I could also go with more style offenses than just the worst ones. Personally I don't think this is important enough to put that...

@bencie @cyberFighter do you have a demo of where you were in the map? I can't reproduce it (even with ASan)

The text "t0" if nothing else works. But I like the idea of a boat, maybe a boat of a few tees, or a literal boat. Because that's what t0...

I can't reproduce the issue locally on Arch. Maybe related to CI running with older libs?

Thanks for trying. I have two attempts too to make CI green again at least: https://github.com/ddnet/ddnet/pull/8108 & https://github.com/ddnet/ddnet/pull/8109

@heinrich5991 Thoughts? I think it's not sustainable to whitelist IPs manually and the Chinese Firewall seems not to have plans to allow our traffic.

Thanks for posting this. We use miri in [Materialize](https://github.com/MaterializeInc/materialize) and seem to be having a different set of unsupported operations, basically our wishlist: ``` $ git grep "cfg_attr(miri"|sed -e "s#.*\/\/...

As @mantkiew noted in https://github.com/def-/ghc-vis/issues/4 , there are easier ways to trigger this. This works fine: ``` > data Pair1 = Pair1 Int Int > let p1 = Pair1 (1+2)...

Only supports Linux. You could make a PR to add FreeBSD support.