### What should we do? Migrate workflow files from v3 to v4 of the CodeQL action ### Why should we do it? v3 will be [deprecated in December 2026](https://github.blog/changelog/2025-10-28-upcoming-deprecation-of-codeql-action-v3/)