Skip to content

Conversation

@Alexhuszagh
Copy link
Owner

No description provided.

@Alexhuszagh Alexhuszagh self-assigned this Dec 15, 2024
@Alexhuszagh Alexhuszagh added A-sec Related to unsoundness/security issues. CI Related to continuous integration. labels Dec 15, 2024
@Alexhuszagh Alexhuszagh merged commit 5943e9d into master Dec 15, 2024
28 checks passed
@Alexhuszagh Alexhuszagh deleted the audit branch December 15, 2024 19:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

A-sec Related to unsoundness/security issues. CI Related to continuous integration.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants