Skip to content

Commit

Permalink
Fix set union
Browse files Browse the repository at this point in the history
  • Loading branch information
simon-friedberger committed May 27, 2024
1 parent ffe088f commit 5853fa6
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion tools/pr_checker/check_dns.py
Original file line number Diff line number Diff line change
Expand Up @@ -140,7 +140,7 @@ def main(current_filename, pull_request_filename, pr_id):
"""
added, removed = psl_diff(current_filename, pull_request_filename)

if not all(map(lambda rule: check_dns_pr(rule, pr_id), added + removed)):
if not all(map(lambda rule: check_dns_pr(rule, pr_id), added.union(removed))):
exit(1)


Expand Down

0 comments on commit 5853fa6

Please sign in to comment.