ci: separate build and lint pipelines

2026-05-03 19:29:32 +02:00
parent e79fa7fdd1
commit dcf30ee389
3 changed files with 43 additions and 17 deletions
@@ -0,0 +1,25 @@
+name: Clang Lint CI
+
+concurrency:
+  group: lint-${{ github.ref }}
+  cancel-in-progress: true
+
+on:
+  workflow_dispatch:
+  push:
+    paths:
+      - '.github/workflows/lint.yml'
+      - 'src/*.c'
+      - 'src/*.h'
+
+env:
+  GCC_ARGS: src/*.c src/*.h -Ofast
+
+jobs:
+  lint:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v5
+      - name: gcc
+        run: gcc -v -Wall -Wextra -Werror $GCC_ARGS