Upgrading github/codeql
dependency to 2.13.5
#362
Merged
github/codeql
dependency to 2.13.5
#362