Replace tabs with spaces (#7223)

2026-09-29 11:21:12 -04:00 · 2026-09-19 18:09:26 +00:00
parent 27a66925bf
commit 5fee87c23e
18 changed files with 131 additions and 95 deletions
@@ -0,0 +1,13 @@
+name: no-tabs
+on: [pull_request]
+concurrency:
+  group: ${{ github.workflow }}-${{ github.ref }}
+  cancel-in-progress: true
+
+jobs:
+  no-tabs:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v7
+      - name: Check for tabs in C/C++ sources
+        run: ./scripts/check-no-tabs.sh