Skip to content

Make error messages have details of incorrect type when port is not int in URL.build() #2366

Make error messages have details of incorrect type when port is not int in URL.build()

Make error messages have details of incorrect type when port is not int in URL.build() #2366

Workflow file for this run

---
name: "CodeQL"
on:
push:
branches:
- master
pull_request:
branches:
- master
schedule:
- cron: "46 14 * * 0"
jobs:
analyze:
name: Analyze
runs-on: ubuntu-latest
timeout-minutes: 4
permissions:
actions: read
contents: read
security-events: write
strategy:
fail-fast: false
matrix:
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
- name: Autobuild
uses: github/codeql-action/autobuild@v3
- name: Perform CodeQL Analysis
uses: github/codeql-action/analyze@v3
with:
category: "/language:${{ matrix.language }}"
...