Conversation
There was a problem hiding this comment.
Pull request overview
Adds a dedicated CodeQL GitHub Actions workflow so the repository has an explicit CodeQL check that can run on PRs (including fork PRs), aligning with the repo’s ruleset requirements.
Changes:
- Introduces
.github/workflows/codeql.ymlto run CodeQL onpull_request,pushtomain, scheduled, and manual dispatch. - Configures CodeQL for C# and builds
src/Nethermind.Arbitrum/Nethermind.Arbitrum.csprojonubuntu-latest.
💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.
Codecov Report✅ All modified and coverable lines are covered by tests. Additional details and impacted files@@ Coverage Diff @@
## main #825 +/- ##
=======================================
Coverage 76.38% 76.38%
=======================================
Files 227 227
Lines 14150 14150
Branches 2107 2107
=======================================
Hits 10808 10808
Misses 2584 2584
Partials 758 758 🚀 New features to boost your workflow:
|
svlachakis
left a comment
There was a problem hiding this comment.
I guess this will fix dependabot PRs also
|
You are seeing this message because GitHub Code Scanning has recently been set up for this repository, or this pull request contains the workflow file for the Code Scanning tool. What Enabling Code Scanning Means:
For more information about GitHub Code Scanning, check out the documentation. |
GitHub's default CodeQL setup does not run on pull requests from forks — a documented security restriction. Since the "Main Rules" ruleset requires the
CodeQLcheck, external contributor PRs (e.g. #816) are permanently blocked.This adds a
.github/workflows/codeql.ymlthat triggers onpull_request,pushtomain, weekly schedule, and manual dispatch. It runs C# analysis againstNethermind.Arbitrum.csprojusinggithub/codeql-actionv4.