From a05ae175c68e749100f3d397da750532cf35b651 Mon Sep 17 00:00:00 2001
From: Akash Levy <akash@silimate.com>
Date: Sat, 19 Oct 2024 16:34:50 -0700
Subject: [PATCH] Smallfixes

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

diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
index 90e63924e..354dc73d8 100644
--- a/.github/workflows/codeql.yml
+++ b/.github/workflows/codeql.yml
@@ -9,6 +9,7 @@ jobs:
   analyze:
     name: Analyze
     runs-on: ubuntu-latest
+    permissions: write-all
     steps:
     - name: Install deps
       run: sudo apt-get install bison flex libreadline-dev tcl-dev libffi-dev
diff --git a/.github/workflows/test-build.yml b/.github/workflows/test-build.yml
index 5cdebcb30..f4fdb6f9d 100644
--- a/.github/workflows/test-build.yml
+++ b/.github/workflows/test-build.yml
@@ -59,8 +59,8 @@ jobs:
         run: |
           mkdir build
           cd build
-          make -f ../Makefile config-$CC ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0 VERIFIC_DIR=../verific
-          make -f ../Makefile -j$procs ENABLE_LTO=1 ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0 VERIFIC_DIR=../verific
+          make -f ../Makefile config-$CC ENABLE=1 ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0 VERIFIC_DIR=../verific
+          make -f ../Makefile -j$procs ENABLE_LTO=1 ENABLE_PLUGINS=1 ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0 VERIFIC_DIR=../verific
 
       - name: Log yosys-config output
         run: |
@@ -155,7 +155,7 @@ jobs:
       - name: Run tests
         shell: bash
         run: |
-          make -j$procs test TARGETS= EXTRA_TARGETS= CONFIG=$CC ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0
+          make -j$procs test TARGETS= EXTRA_TARGETS= CONFIG=$CC ENABLE_PLUGINS=1 ENABLE_PYOSYS=0 ENABLE_CCACHE=0 ENABLE_EDITLINE=0
 
       - name: Report errors
         if: ${{ failure() }}