trial

.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