Skip to content

Compliance with CodeQL - #139

Merged
wojciechozga merged 4 commits into
mainfrom
woz/hotfix/codeql
Oct 5, 2026
Merged

wojciechozga merged 4 commits into
mainfrom
woz/hotfix/codeql

Conversation

@wojciechozga

@wojciechozga wojciechozga commented Sep 29, 2026 •

Copy link
Copy Markdown
Member

Description of the changes

This PR makes this repo compliant with CodeQL, a tool that automatically scans for misconfigurations, outdated dependencies, printouts of sensitive values.

This PR Fixes #136 #137 #138

Type of change

  • Bug fix (non-breaking change which fixes an issue)
  • New feature (non-breaking change which adds functionality)
  • Formal verification
  • Breaking change (fix or feature that would cause existing functionality to not work as expected)
  • Refactorization (non-breaking change which improves code quality)

Signed-off-by: Wojciech Ozga <woz@zurich.ibm.com>
Signed-off-by: Wojciech Ozga <woz@zurich.ibm.com>
Signed-off-by: Wojciech Ozga <woz@zurich.ibm.com>
Signed-off-by: Wojciech Ozga <woz@zurich.ibm.com>
@wojciechozga
wojciechozga merged commit edc79fd into main Oct 5, 2026
8 checks passed
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.

🔒 [IBM OSPO Security Notification] — IBM/ACE-RISCV

1 participant