Skip to content

Add lint - #4

Merged
seprov merged 1 commit into
mainfrom
seb/add-lint
Jul 29, 2026
Merged

Add lint#4
seprov merged 1 commit into
mainfrom
seb/add-lint

Conversation

@seprov

@seprov seprov commented Jul 29, 2026

Copy link
Copy Markdown
Contributor

This is just to enable validation of policies in Tracehub

@seprov
seprov requested a review from ignaden July 29, 2026 17:30

@ignaden ignaden left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

👍

@seprov
seprov merged commit 1e14586 into main Jul 29, 2026
2 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.

2 participants