From 982ce832cedb8f57cbe304642d03cc4875313a2b Mon Sep 17 00:00:00 2001
From: thawk105 <thawk105@gmail.com>
Date: Thu, 14 May 2026 07:22:55 +0000
Subject: [PATCH] =?UTF-8?q?ci:=20clang-format=20dry-run=20=E3=83=81?=
 =?UTF-8?q?=E3=82=A7=E3=83=83=E3=82=AF=E3=82=B8=E3=83=A7=E3=83=96=E3=82=92?=
 =?UTF-8?q?=E8=BF=BD=E5=8A=A0?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

build とは独立した format.yml を新設し、cc/ include/ common/ 配下の
.cc/.hh/.cpp に clang-format --dry-run --Werror をかける。フォーマット
違反コミットを CI で弾く。

clang-format は devcontainer Dockerfile の dev stage (:latest) のみに
入っているため、このジョブは :latest image を使う (:ci slim には無い)。
対象集合と clang-format バージョン (14) は一括 reformat (#76) と揃える。

Closes #63
---
 .github/workflows/format.yml | 55 ++++++++++++++++++++++++++++++++++++
 1 file changed, 55 insertions(+)
 create mode 100644 .github/workflows/format.yml

diff --git a/.github/workflows/format.yml b/.github/workflows/format.yml
new file mode 100644
index 00000000..7858ae5e
--- /dev/null
+++ b/.github/workflows/format.yml
@@ -0,0 +1,55 @@
+name: format
+
+on:
+  push:
+    # Keep paths-ignore in sync with build.yml: a docs-only or
+    # devcontainer-only change should not spin up CI.
+    paths-ignore:
+      - 'README.md'
+      - 'docs/**'
+      - '.devcontainer/**'
+      - '.github/workflows/devcontainer-image.yml'
+  pull_request:
+    paths-ignore:
+      - 'README.md'
+      - 'docs/**'
+      - '.devcontainer/**'
+      - '.github/workflows/devcontainer-image.yml'
+
+jobs:
+  # Independent of build.yml's `build` job on purpose: a formatting
+  # violation and a compile break are unrelated failures, and seeing
+  # one job red while the other stays green pinpoints which it is.
+  format-check:
+    runs-on: ubuntu-latest
+    # clang-format only ships in the `dev` stage of .devcontainer/Dockerfile
+    # (published as :latest) — the slim :ci image used by build.yml has it
+    # stripped. Use :latest here rather than fattening :ci, which would mean
+    # a Dockerfile change + image rebuild for no other gain.
+    #
+    # --user root: same reason as build.yml — the GHA runner's bind-mounted
+    # work dir is host-owned, so actions' housekeeping writes need root.
+    container:
+      image: ghcr.io/thawk105/ccbench-devcontainer:latest
+      options: --user root
+    timeout-minutes: 10
+
+    steps:
+      - uses: actions/checkout@v6
+
+      # Later steps run git from a fresh `sh -e {0}` shell where
+      # checkout's scoped safe.directory is not always picked up; set it
+      # globally so `git ls-files` below sees the workspace as safe.
+      - name: Mark workspace as safe for git
+        run: git config --global --add safe.directory "$GITHUB_WORKSPACE"
+
+      # Same target set as the bulk reformat (PR #76): all *.cc / *.hh /
+      # *.cpp tracked under cc/, include/ and common/. There are no
+      # third_party/ or build/ trees nested under those, so the extension
+      # filter alone is enough; --Werror makes any diff fail the job.
+      - name: clang-format dry-run
+        run: |
+          clang-format --version
+          git ls-files -- cc include common \
+            | grep -E '\.(cc|hh|cpp)$' \
+            | xargs clang-format --dry-run --Werror