From 128c1002ee71f7a4ea7250cba295eaf650ef99a5 Mon Sep 17 00:00:00 2001
From: Robin Ole Heinemann <robin.ole.heinemann@gmail.com>
Date: Mon, 22 Jan 2024 18:35:07 +0100
Subject: [PATCH] fixup! weekly synth tests

---
 .github/workflows/synth.yml | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

diff --git a/.github/workflows/synth.yml b/.github/workflows/synth.yml
index 2f9d968..02ab146 100644
--- a/.github/workflows/synth.yml
+++ b/.github/workflows/synth.yml
@@ -27,16 +27,11 @@ jobs:
       uses: pdm-project/setup-pdm@v3
       with:
         python-version: '3.10'
-    - name: Install solver
-      run: |
-        sudo add-apt-repository ppa:sri-csl/formal-methods
-        sudo apt-get update
-        sudo apt-get install yices2
     - name: Install dependencies
       run: pdm install -G test -G ci_test
-    - name: Run test suite
+    - name: Synth
       run:
-        SMTBMC=yowasp-yosys-smtbmc SBY=yowasp-sby YOSYS=yowasp-yosys pdm run ${{ matrix.applet }}
+        YOSYS=yowasp-yosys pdm run ${{ matrix.applet }}
     - name: upload
       uses: actions/upload-artifact@v2
       with: