chore: move hyper to a newer MSRV #7558
Workflow file for this run
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
name: "CodeQL - Python" | |
on: | |
push: | |
branches: [main] | |
pull_request: | |
branches: [main] | |
schedule: | |
- cron: "1 18 * * 0" | |
merge_group: | |
types: [checks_requested] | |
branches: [main] | |
jobs: | |
analyze: | |
name: Analyze | |
runs-on: ubuntu-latest | |
permissions: | |
actions: read | |
contents: read | |
security-events: write | |
strategy: | |
fail-fast: false | |
matrix: | |
# Disabling c analysis (for now) as this takes ~2 hours to complete | |
language: [ python ] | |
steps: | |
- name: Checkout | |
uses: actions/checkout@v4 | |
- name: Initialize CodeQL | |
uses: github/codeql-action/init@v3 | |
with: | |
languages: ${{ matrix.language }} | |
queries: +security-and-quality | |
config-file: ./.github/codeql-config.yml | |
- name: Autobuild | |
uses: github/codeql-action/autobuild@v3 | |
if: ${{ matrix.language == 'c' || matrix.language == 'python' }} | |
- name: Perform CodeQL Analysis | |
uses: github/codeql-action/analyze@v3 | |
with: | |
category: "/language:${{ matrix.language }}" | |
# This is a very simple Action that will act as a substitute required status | |
# check for Code Scanning once you have merge-queue enabled. It will force | |
# Code Scanning to pass at the Pull Request and allow you to skip it in your | |
# repo's merge group. https://github.com/Eldrick19/code-scanning-status-checker | |
check_codeql_status: | |
name: Check CodeQL Status | |
needs: analyze | |
permissions: | |
contents: read | |
checks: read | |
pull-requests: read | |
runs-on: ubuntu-latest | |
if: ${{ github.event_name == 'pull_request' }} | |
steps: | |
- name: Check CodeQL Status | |
uses: eldrick19/code-scanning-status-checker@v2 | |
with: | |
token: ${{ secrets.GITHUB_TOKEN }} | |
pr_number: ${{ github.event.pull_request.number }} | |
repo: ${{ github.repository }} |