Skip to content

Add github-manage, a helper script for bulk repo admin tasks #141

Add github-manage, a helper script for bulk repo admin tasks

Add github-manage, a helper script for bulk repo admin tasks #141

Workflow file for this run

name: "CodeQL"
on:
push:
branches: [ 'master' ]
pull_request:
# The branches below must be a subset of the branches above
branches: [ 'master' ]
schedule:
- cron: '48 13 * * 3'
jobs:
analyze:
name: Analyze
runs-on: ubuntu-latest
permissions:
actions: read
contents: read
security-events: write
strategy:
fail-fast: false
matrix:
language: [ 'cpp', 'ruby', 'python' ]
steps:
- name: Install dependencies (Ubuntu)
run: |
sudo apt-get update
sudo apt-get install -y libpcap-dev
pip install --user btest
- name: Checkout repository
uses: actions/checkout@v4
with:
submodules: recursive
- name: Initialize CodeQL
uses: github/codeql-action/init@v3
with:
languages: ${{ matrix.language }}
queries: +security-and-quality
- name: Autobuild
uses: github/codeql-action/autobuild@v3
- name: Perform CodeQL Analysis
uses: github/codeql-action/analyze@v3
with:
category: "/language:${{matrix.language}}"