Skip to content

Merge branch 'release-0.10.2' into develop #135

Merge branch 'release-0.10.2' into develop

Merge branch 'release-0.10.2' into develop #135

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