From 4b0b387cc0ae687665172e721351415f5ed01410 Mon Sep 17 00:00:00 2001
From: jackthepunished <kosapinarbahadir@gmail.com>
Date: Sat, 8 Aug 2026 15:32:17 +0300
Subject: [PATCH] ci: install verilator and yosys, run RTL testbenches and
 synthesis checks (M4 Task 7)

---
 .github/workflows/ci.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d206ada..880dbd0 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -7,6 +7,9 @@ jobs:
       - uses: actions/checkout@v4
       - uses: actions/setup-python@v5
         with: { python-version: "3.11" }
+      - run: sudo apt-get update && sudo apt-get install -y --no-install-recommends verilator yosys
       - run: python -m venv .venv && .venv/bin/pip install -e ".[dev]" --quiet
       - run: .venv/bin/pip install torch --index-url https://download.pytorch.org/whl/cpu --quiet
       - run: make test
+      - run: make lint rtl_test
+      - run: make synth_check