Skip to content

chore: fix vulnfix#200

Merged
nrwiersma merged 1 commit into
mainfrom
fix-vulnfix
Jun 3, 2026
Merged

chore: fix vulnfix#200
nrwiersma merged 1 commit into
mainfrom
fix-vulnfix

Conversation

@nrwiersma

Copy link
Copy Markdown
Member

Goal of this PR

This fixes the vulnfix workflow

How did I test it?

@nrwiersma nrwiersma merged commit 82e0681 into main Jun 3, 2026
7 of 8 checks passed
@nrwiersma nrwiersma deleted the fix-vulnfix branch June 3, 2026 17:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

1 participant