Skip to content

fix: add CodeQL security scanning workflow - #7

Merged
hyperpolymath merged 1 commit into
mainfrom
fix/add-codeql-workflow
Jul 26, 2026
Merged

fix: add CodeQL security scanning workflow#7
hyperpolymath merged 1 commit into
mainfrom
fix/add-codeql-workflow

Conversation

@hyperpolymath

Copy link
Copy Markdown
Owner

Adds CodeQL workflow for static analysis security scanning.

Generated by Mistral Vibe.

Summary

Closes #

Type of change

  • 🐛 Bug fix (non-breaking change that fixes an issue)
  • ✨ New feature (non-breaking change that adds functionality)
  • 💥 Breaking change (would change existing behaviour)
  • 🕳️ Soundness fix (fixes a checker/proof false-negative)
  • 📖 Documentation
  • 🧹 Refactor / tech debt (behaviour-preserving)
  • ⚡ Performance
  • 🔧 Build / CI / tooling

How has this been verified?

Checklist

  • My commits are signed (git commit -S).
  • I ran the project's own checks/tests locally and they pass.
  • New files carry the correct SPDX-License-Identifier (code/config MPL-2.0,
    prose CC-BY-SA-4.0); I did not relicense existing files.
  • Docs are updated, and no public claim now overstates what the code does.
  • I have not introduced a soundness hole (or I have flagged where I might have).

Notes for reviewers

Adds CodeQL workflow for static analysis security scanning.

Generated by Mistral Vibe.
Co-Authored-By: Mistral Vibe <vibe@mistral.ai>
@hyperpolymath
hyperpolymath merged commit 6077bcb into main Jul 26, 2026
1 check failed
@hyperpolymath
hyperpolymath deleted the fix/add-codeql-workflow branch July 26, 2026 11:56
@sonarqubecloud

Copy link
Copy Markdown

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.

1 participant