From 210b2198b2772c1cd65df8436251862b20b00f71 Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Sat, 19 Oct 2024 14:28:21 -0700
Subject: [PATCH] Try again without pyosys

---
 .github/workflows/codeql.yml       | 2 +-
 .github/workflows/test-build.yml   | 6 +++---
 .github/workflows/test-verific.yml | 1 -
 3 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index 7f64fb1c878..5187d008504 100644
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -25,7 +25,7 @@ jobs:
         queries: security-extended,security-and-quality
 
     - name: Build
-      run: make yosys -j6
+      run: make yosys -j6 ENABLE_PYOSYS=0
 
     - name: Perform CodeQL Analysis
       uses: github/codeql-action/analyze@v3
diff --git a/.github/workflows/test-build.yml b/.github/workflows/test-build.yml
index 1c1163a0f7d..c50ba7f1df8 100644
--- a/.github/workflows/test-build.yml
+++ b/.github/workflows/test-build.yml
@@ -56,8 +56,8 @@ jobs:
         run: |
           mkdir build
           cd build
-          make -f ../Makefile config-$CC
-          make -f ../Makefile -j$procs ENABLE_LTO=1
+          make -f ../Makefile config-$CC ENABLE_PYOSYS=0
+          make -f ../Makefile -j$procs ENABLE_LTO=1 ENABLE_PYOSYS=0
 
       - name: Log yosys-config output
         run: |
@@ -146,7 +146,7 @@ jobs:
       - name: Run tests
         shell: bash
         run: |
-          make -j$procs test TARGETS= EXTRA_TARGETS= CONFIG=$CC
+          make -j$procs test TARGETS= EXTRA_TARGETS= CONFIG=$CC ENABLE_PYOSYS=0
 
       - name: Report errors
         if: ${{ failure() }}
diff --git a/.github/workflows/test-verific.yml b/.github/workflows/test-verific.yml
index f96ba1d5ab8..98b05e8ddb8 100644
--- a/.github/workflows/test-verific.yml
+++ b/.github/workflows/test-verific.yml
@@ -27,7 +27,6 @@ jobs:
         with:
           persist-credentials: false
           submodules: true
-          ssh-key: ${{ secrets.SSH_PRIVATE_KEY }}
       - name: Runtime environment
         run: |
           echo "procs=$(nproc)" >> $GITHUB_ENV