Skip to content

4039 Fix inconsistent results when ordering by date sorting keys. #7630

4039 Fix inconsistent results when ordering by date sorting keys.

4039 Fix inconsistent results when ordering by date sorting keys. #7630

Workflow file for this run

name: "CodeQL"
on:
push:
branches:
- 'main'
pull_request:
branches:
- 'main'
schedule:
# Execute every day at 2:00
- cron: '0 2 * * *'
jobs:
analyze:
name: Analyze
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
# Install a Python compatible with pyproject (necessary later for
# `github/codeql-action/init`)
- uses: actions/setup-python@v5
with:
python-version: '3.12'
# Initializes the CodeQL tools for scanning.
- name: Initialize CodeQL
uses: github/codeql-action/init@v2
with:
languages: python
config-file: ./.github/codeql-config.yml
setup-python-dependencies: true
- name: Perform CodeQL Analysis
uses: github/codeql-action/analyze@v2