From 4852483391efa74c7460fa13137079bc37fff568 Mon Sep 17 00:00:00 2001
From: Alain Dargelas <alain.dargelas@gmail.com>
Date: Thu, 9 Nov 2023 18:23:20 -0800
Subject: [PATCH] trial

---
 .github/workflows/yosys-plugin.yml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/yosys-plugin.yml b/.github/workflows/yosys-plugin.yml
index 169ec5137b..e96105a895 100644
--- a/.github/workflows/yosys-plugin.yml
+++ b/.github/workflows/yosys-plugin.yml
@@ -42,6 +42,7 @@ jobs:
         #git config --global url.https://github.com/.insteadOf git://github.com/
         # Use current main of the plugin repository...
         git clone https://github.com/alaindargelas/synlig.git
+        cd synlig
         git checkout stable_rs
         git submodule sync
         git submodule update --depth 3 --init --recursive --checkout \
@@ -63,7 +64,7 @@ jobs:
 
     - name: Build binaries
       run: |
-        cd synlig
+        #cd synlig
         make -rR -j $(nproc) -Oline -f build_binaries.mk SYSTEMVERILOG_PLUGIN_ONLY:=0 \
               install-surelog install-yosys install-plugins