Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Various fixes #730

Merged
merged 1 commit into from
May 21, 2024
Merged

Various fixes #730

merged 1 commit into from
May 21, 2024

Conversation

anderseknert
Copy link
Member

  • Only walk negated expressions once
  • Update docs on external-reference to reflect current message
  • Use rego.v1 in prefer-some-in-iteration docs

* Only walk negated expressions once
* Update docs on `external-reference` to reflect current message
* Use rego.v1 in `prefer-some-in-iteration` docs

Signed-off-by: Anders Eknert <anders@styra.com>
@anderseknert anderseknert requested a review from charlieegan3 May 21, 2024 13:48
@anderseknert anderseknert merged commit 1aa0f50 into main May 21, 2024
3 checks passed
@anderseknert anderseknert deleted the various-fixes branch May 21, 2024 17:09
srenatus pushed a commit to srenatus/regal that referenced this pull request Oct 1, 2024
* Only walk negated expressions once
* Update docs on `external-reference` to reflect current message
* Use rego.v1 in `prefer-some-in-iteration` docs

Signed-off-by: Anders Eknert <anders@styra.com>
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants