From abbfdb3092e16738898be182806f6e53639b5b63 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 22:00:59 +0900
Subject: [PATCH] remove temporary M7 smoke workflow

---
 .github/workflows/m7-smoke.yml | 30 ------------------------------
 1 file changed, 30 deletions(-)
 delete mode 100644 .github/workflows/m7-smoke.yml

diff --git a/.github/workflows/m7-smoke.yml b/.github/workflows/m7-smoke.yml
deleted file mode 100644
index fcab7f7..0000000
--- a/.github/workflows/m7-smoke.yml
+++ /dev/null
@@ -1,30 +0,0 @@
-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 -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