Skip to content

Commit

Permalink
header check ignore
Browse files Browse the repository at this point in the history
  • Loading branch information
Tulsishah committed Aug 22, 2024
1 parent 48af41d commit 868d94f
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 1 deletion.
1 change: 1 addition & 0 deletions .github/header-checker-lint.yml
Original file line number Diff line number Diff line change
Expand Up @@ -40,3 +40,4 @@ ignoreFiles:
- 'perfmetrics/scripts/ls_metrics/directory_pb2.py'
- '*.json'
- '.github/**'
- '*.yaml'
3 changes: 2 additions & 1 deletion tools/config-gen/params.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,8 @@
# The params must be kept sorted in ascending order.
# The linear order between any two params, p1 and p2 is defined as following:
# 1. If p1.config-path != "" && p2.config-path != "" then p1 < p2 iff p1.config-path < p2.config-path else p2 < p1
# 2. If p1.config-path == "" && p2.config-path == "" then p1 < p2 iff p1.flag-name < p2.flag-name else p2 < p1
# 2. If p1.config-path == ""
&& p2.config-path == "" then p1 < p2 iff p1.flag-name < p2.flag-name else p2 < p1
# 3. If p1.config-path != "" && p2.config-path == "" then p1 < p2 and vice versa.
#
###################################### DOCUMENTATION ENDS ######################
Expand Down

0 comments on commit 868d94f

Please sign in to comment.