add Ivan to names.inc #12081
Merged
add Ivan to names.inc #12081
GitHub Advanced Security / CodeQL
completed
Oct 5, 2023 in 2s
1 configuration not found
Warning: Code scanning cannot determine the alerts introduced by this pull request, because 1 configuration present on refs/heads/main
was not found:
Actions workflow (codeql-analysis.yml
)
- ⌛
.github/workflows/codeql-analysis.yml:analyze/language:python
Loading