mirror of
https://github.com/github/codeql.git
synced 2025-12-17 01:03:14 +01:00
We no longer need the platform-specific directories, so simplify the test organization. If you don't want this change, just skip merging this PR. It's purely optional.