Skip to content

Simplify CodeQL workflow by removing unused settings - #280

Merged
nunoplopes merged 1 commit into
masterfrom
nunoplopes-patch-1
Jul 23, 2026
Merged

Simplify CodeQL workflow by removing unused settings#280
nunoplopes merged 1 commit into
masterfrom
nunoplopes-patch-1

Conversation

@nunoplopes

Copy link
Copy Markdown
Contributor

Removed concurrency settings and Rust setup from CodeQL workflow.

Removed concurrency settings and Rust setup from CodeQL workflow.
Copilot AI review requested due to automatic review settings July 23, 2026 12:46

Copilot AI left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Pull request overview

This PR simplifies the repository’s CodeQL GitHub Actions workflow by removing job-level settings/steps, aiming to reduce configuration and setup overhead in .github/workflows/codeql.yml.

Changes:

  • Removed workflow concurrency configuration (cancels in-progress runs for the same ref).
  • Removed the Rust toolchain setup step from the CodeQL workflow.
Comments suppressed due to low confidence (1)

.github/workflows/codeql.yml:36

  • The workflow matrix still includes rust and later runs cargo build, but the Rust toolchain setup step was removed. This makes the job rely on whatever Rust happens to be preinstalled on ubuntu-latest, which can cause CI failures or non-deterministic analysis if the runner image changes. Either restore an explicit Rust toolchain setup (recommended), or remove rust from the matrix and the Rust build step.
    - name: Initialize CodeQL
      uses: github/codeql-action/init@v4
      with:
        languages: ${{ matrix.language }}

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

Comment on lines 3 to 7
on:
push:
branches:
- master
pull_request:
@nunoplopes
nunoplopes merged commit 30e67a1 into master Jul 23, 2026
10 checks passed
@nunoplopes
nunoplopes deleted the nunoplopes-patch-1 branch July 23, 2026 12:55
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants