mirror of
https://github.com/github/codeql.git
synced 2025-12-24 04:36:35 +01:00
Which I had done locally. Problem is the same about not having PostUpdateNode
when points-to is not able to resolve the call, so I'm happy to just make CI
happy right now, and hopefully we'll get a fix to the underlying problem soon 😊