Skip to content

Add a security policy. - #21

Merged
Alexhuszagh merged 1 commit into
mainfrom
security-policy
Aug 12, 2026
Merged

Alexhuszagh merged 1 commit into
mainfrom
security-policy

Conversation

@Alexhuszagh

Copy link
Copy Markdown
Owner

No description provided.

@Alexhuszagh Alexhuszagh added the A-sec Related to unsoundness/security issues. label Aug 12, 2026
@Alexhuszagh
Alexhuszagh merged commit 29bb9ba into main Aug 12, 2026
34 checks passed
@Alexhuszagh
Alexhuszagh deleted the security-policy branch August 12, 2026 22:04
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.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant