Skip to content

Zizmor fix#13

Merged
elvin03 merged 3 commits intomainfrom
zizmor-fix
Feb 25, 2026
Merged

Zizmor fix#13
elvin03 merged 3 commits intomainfrom
zizmor-fix

Conversation

@elvin03
Copy link
Copy Markdown
Owner

@elvin03 elvin03 commented Feb 25, 2026

Merge Checklist

All boxes should be checked before merging the PR

  • The changes in the PR have been built and tested
  • Documentation has been updated to reflect the changes (or no doc update needed)
  • Ready to merge

Description

Any Newly Introduced Dependencies

How Has This Been Tested?

Signed-off-by: Teoh Suh Haw <suh.haw.teoh@intel.com>
Signed-off-by: Teoh Suh Haw <suh.haw.teoh@intel.com>
Signed-off-by: Teoh Suh Haw <suh.haw.teoh@intel.com>
@elvin03 elvin03 merged commit f786105 into main Feb 25, 2026
34 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.

1 participant