Skip to content

Rename RuleGroup::Unspecified to Stable#7991

Merged
zanieb merged 1 commit intomainfrom
zanie/stable-rule-group
Oct 16, 2023
Merged

Rename RuleGroup::Unspecified to Stable#7991
zanieb merged 1 commit intomainfrom
zanie/stable-rule-group

Conversation

@zanieb
Copy link
Member

@zanieb zanieb commented Oct 16, 2023

Should help with #7989 and seems more accurate for our new model

@zanieb zanieb added the internal An internal refactor or improvement label Oct 16, 2023
@github-actions
Copy link
Contributor

PR Check Results

Ecosystem

✅ ecosystem check detected no changes.

@zanieb zanieb marked this pull request as ready for review October 16, 2023 19:27
@zanieb zanieb merged commit 4113d65 into main Oct 16, 2023
@zanieb zanieb deleted the zanie/stable-rule-group branch October 16, 2023 19:53
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal An internal refactor or improvement

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants