Skip to content

metrics: Fix rego files DevelopmentLifecycle#324

Merged
lebogg merged 1 commit into
mainfrom
fix_rego_files
May 27, 2026
Merged

metrics: Fix rego files DevelopmentLifecycle#324
lebogg merged 1 commit into
mainfrom
fix_rego_files

Conversation

@anatheka

Copy link
Copy Markdown
Collaborator

This PR fixes the rego files in DevelopmentLifecycle.

@anatheka anatheka marked this pull request as ready for review May 27, 2026 14:13
@anatheka anatheka requested a review from immqu May 27, 2026 14:13

@lebogg lebogg left a comment

Copy link
Copy Markdown
Collaborator

Choose a reason for hiding this comment

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

LGTM

@lebogg lebogg merged commit 5590f0d into main May 27, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants