aboutsummaryrefslogtreecommitdiff
path: root/.github/workflows
diff options
context:
space:
mode:
authorDaniel Ebert2023-10-15 09:43:28 +0000
committerBlaž Hrastnik2023-12-15 06:59:54 +0000
commit723a132bdfdacaabc888e48b1c378cd76e7ba84d (patch)
tree4cbf3c045a3c0e273ddee5ae2673dc29589baf64 /.github/workflows
parent3e79a35656461e7143134e0b65b2e78d30df7785 (diff)
Simplify implementation of `add_indent_level`.
Increase hybrid indent heuristic attempt limit to 4. Clarify the fallback logic in indent heuristic docs.
Diffstat (limited to '.github/workflows')
0 files changed, 0 insertions, 0 deletions