mirror of
https://github.com/github/codeql.git
synced 2025-12-27 06:06:32 +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 😊