Skip to content

Merge branch 'release-1.40.19' into develop #41

Merge branch 'release-1.40.19' into develop

Merge branch 'release-1.40.19' into develop #41

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@08c6903cd8c0fde910a37f88322edcfb5dd907a8"
- name: "Run CodeQL init"
uses: "github/codeql-action/init@ce28f5bb42b7a9f2c824e633a3f6ee835bab6858"
with:
config-file: "./.github/codeql.yml"
languages: "python"
- name: "Run CodeQL autobuild"
uses: "github/codeql-action/autobuild@ce28f5bb42b7a9f2c824e633a3f6ee835bab6858"
- name: "Run CodeQL analyze"
uses: "github/codeql-action/analyze@ce28f5bb42b7a9f2c824e633a3f6ee835bab6858"