Skip to content

Check mixed indentation#601

Merged
mmerklinger merged 2 commits into
mainfrom
check-mixed-indentation
Jul 7, 2026
Merged

Check mixed indentation#601
mmerklinger merged 2 commits into
mainfrom
check-mixed-indentation

Conversation

@mmerklinger

Copy link
Copy Markdown
Member

This PR adds a check for mixed indentation.

  • Makefile target check-mixed-indentation.
  • GitHub Actions workflow check for mixed indentation.

This test flags all lines that use tabs for indentation, incl. mixed ones with whitespaces.

@mmerklinger mmerklinger self-assigned this Jul 7, 2026
@github-actions

github-actions Bot commented Jul 7, 2026

Copy link
Copy Markdown

The successful documentation build for 19a131c was deployed for preview:

generated by workflow run 28871635544 (attempt 1)

@mmerklinger mmerklinger requested review from daringer and jans23 July 7, 2026 13:56
@mmerklinger mmerklinger marked this pull request as ready for review July 7, 2026 13:57
@mmerklinger mmerklinger merged commit 7e73e80 into main Jul 7, 2026
7 checks passed
@mmerklinger mmerklinger deleted the check-mixed-indentation branch July 7, 2026 14:33
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants