From 594a837003fb8355173fe6c5ac038cc2b22e0264 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=EC=A0=95=EC=8B=9C=EC=9B=90?= <sebastianrcnt@yonsei.ac.kr>
Date: Sun, 16 Aug 2026 21:55:41 +0900
Subject: [PATCH] ci: smoke test M7 compiler branch

---
 .github/workflows/m7-smoke.yml | 30 ++++++++++++++++++++++++++++++
 1 file changed, 30 insertions(+)
 create mode 100644 .github/workflows/m7-smoke.yml

diff --git a/.github/workflows/m7-smoke.yml b/.github/workflows/m7-smoke.yml
new file mode 100644
index 0000000..3153031
--- /dev/null
+++ b/.github/workflows/m7-smoke.yml
@@ -0,0 +1,30 @@
+name: m7-smoke
+on:
+  push:
+    branches: [agent/m7-complete]
+  workflow_dispatch:
+
+jobs:
+  host-smoke:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - name: Build compiler as C89
+        run: make -C fec clean all CFLAGS='-O0 -Wall -Wextra -Werror -std=c89'
+      - name: Check M7 pass fixtures
+        shell: bash
+        run: |
+          set -euo pipefail
+          for f in fec/tests/m7/ok*.fe; do
+            fec/fec --target=bits32 --check "$f"
+          done
+      - name: Check M7 fail fixtures
+        shell: bash
+        run: |
+          set -euo pipefail
+          for f in fec/tests/m7/bad*.fe; do
+            if fec/fec --target=bits32 --check "$f"; then
+              echo "expected failure: $f"
+              exit 1
+            fi
+          done