external
/
citus
mirror of https://github.com/citusdata/citus.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

format naked includes

pull/7326/head
Nils Dijk 2023-11-09 14:08:17 +00:00
parent 3fa4056f97
commit adea8c5bb6
No known key found for this signature in database
GPG Key ID: CA1177EF9434F241
1 changed files with 5 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
ci/include_grouping.py
View File

@ -81,7 +81,11 @@ def print_sorted_includes(includes, file=sys.stdout):
}, },
{ {
"name": "naked citus inlcudes", "name": "naked citus inlcudes",
"list": ['"citus_version.h"', '"pg_version_compat.h"', '"pg_version_constants.h"'], "list": [
'"citus_version.h"',
'"pg_version_compat.h"',
'"pg_version_constants.h"',
],
"group_key": 3, "group_key": 3,
"priority": 0, "priority": 0,
}, },