Merge pull request #9301 from mr-raj12/fix-deprecated-gitio-shortlink

CI: replace deprecated git.io shortlink in CodeQL workflow, fixes #9300
This commit is contained in:
TW 2026-02-13 04:08:04 +01:00 committed by GitHub
commit 0267d0107f
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -25,7 +25,7 @@ jobs:
matrix:
language: [ 'cpp', 'python' ]
# CodeQL supports [ 'cpp', 'csharp', 'go', 'java', 'javascript', 'python', 'ruby' ]
# Learn more about CodeQL language support at https://git.io/codeql-language-support
# Learn more about CodeQL language support at https://codeql.github.com/docs/codeql-overview/supported-languages-and-frameworks/
steps:
- name: Checkout repository