Rust: adapt model generation to new format #19819
Merged
GitHub Advanced Security / CodeQL
completed
Jun 20, 2025 in 7s
5 configurations not found
Warning: Code scanning may not have found all the alerts introduced by this pull request, because 5 configurations present on refs/heads/main were not found:
Actions workflow (csv-coverage-metrics.yml)
- ❓
.github/workflows/csv-coverage-metrics.yml:publish-csharp - ❓
.github/workflows/csv-coverage-metrics.yml:publish-java
Actions workflow (codeql-analysis.yml)
- ❓
.github/workflows/codeql-analysis.yml:CodeQL-Build/language:actions - ❓
.github/workflows/codeql-analysis.yml:CodeQL-Build/language:csharp
Actions workflow (cpp-swift-analysis.yml)
- ❓
.github/workflows/cpp-swift-analysis.yml:CodeQL-Build
New alerts in code changed by this pull request
- 2 warnings
Alerts not introduced by this pull request might have been detected because the code changes were too large.
See annotations below for details.
Annotations
Code scanning / CodeQL
Alert message style violation Warning
Check warning on line 59 in rust/ql/src/utils/modelgenerator/internal/CaptureModels.qll
Code scanning / CodeQL
Redundant cast Warning
Loading