Skip to content

Merge branch 'release-1.35.72' into develop #991

Merge branch 'release-1.35.72' into develop

Merge branch 'release-1.35.72' into develop #991

Workflow file for this run

name: "CodeQL"
on:
push:
branches: ["develop"]
pull_request:
branches: ["develop"]
schedule:
- cron: "0 0 * * 5"
permissions: "read-all"
jobs:
analyze:
name: "Analyze"
runs-on: "ubuntu-latest"
permissions:
actions: read
contents: read
security-events: write
steps:
- name: "Checkout repository"
uses: "actions/checkout@d632683dd7b4114ad314bca15554477dd762a938"
- name: "Run CodeQL init"
uses: "github/codeql-action/init@662472033e021d55d94146f66f6058822b0b39fd"
with:
config-file: "./.github/codeql.yml"
languages: "python"
- name: "Run CodeQL autobuild"
uses: "github/codeql-action/autobuild@662472033e021d55d94146f66f6058822b0b39fd"
- name: "Run CodeQL analyze"
uses: "github/codeql-action/analyze@662472033e021d55d94146f66f6058822b0b39fd"