Skip to content

Remove Redis JSON extension from MARC file generation (PP-1839) #6632

Remove Redis JSON extension from MARC file generation (PP-1839)

Remove Redis JSON extension from MARC file generation (PP-1839) #6632

Workflow file for this run

name: "CodeQL"
on:
push:
branches: [ main ]
pull_request:
# The branches below must be a subset of the branches above
branches: [ main ]
schedule:
- cron: '35 12 * * 1'
jobs:
analyze:
name: Analyze
runs-on: ubuntu-latest
permissions:
actions: read
contents: read
security-events: write
steps:
- name: Checkout repository
uses: actions/checkout@v4
with:
submodules: recursive
- name: Update pip
run: |
pip install --upgrade pip
# Initializes the CodeQL tools for scanning.
- name: Initialize CodeQL
uses: github/codeql-action/init@v3
with:
languages: python
config-file: ./.github/codeql/config.yml
- name: Perform CodeQL Analysis
uses: github/codeql-action/analyze@v3
with:
category: ".github/workflows/codeql-analysis.yml:analyze/language:python"