From 30f8a8a3c1d817f48e709536caaeec919c000165 Mon Sep 17 00:00:00 2001
From: drewbabel <122849144+drewbabel@users.noreply.github.com>
Date: Sat, 10 Oct 2026 17:10:02 -0700
Subject: [PATCH 1/2] [ci] Install the CAD suite from its tarball

---
 .github/actions/oss-cad-suite/action.yml | 30 ++++++++++++++++++++++++
 .github/workflows/ci.yml                 |  6 ++---
 2 files changed, 32 insertions(+), 4 deletions(-)
 create mode 100644 .github/actions/oss-cad-suite/action.yml

diff --git a/.github/actions/oss-cad-suite/action.yml b/.github/actions/oss-cad-suite/action.yml
new file mode 100644
index 0000000..439fa81
--- /dev/null
+++ b/.github/actions/oss-cad-suite/action.yml
@@ -0,0 +1,30 @@
+name: OSS CAD Suite
+description: Install the pinned OSS CAD Suite and put its binaries on the path
+
+inputs:
+  version:
+    description: Release tag of the OSS CAD Suite build
+    required: true
+
+runs:
+  using: composite
+  steps:
+    - name: Restore the CAD suite
+      id: cache
+      uses: actions/cache@v6
+      with:
+        path: ${{ runner.temp }}/oss-cad-suite
+        key: oss-cad-suite-linux-x64-${{ inputs.version }}
+    - name: Download the CAD suite
+      if: steps.cache.outputs.cache-hit != 'true'
+      shell: bash
+      env:
+        TAG: ${{ inputs.version }}
+      run: |
+        mkdir -p "$RUNNER_TEMP/oss-cad-suite"
+        curl -fsSL "https://github.com/YosysHQ/oss-cad-suite-build/releases/download/$TAG/oss-cad-suite-linux-x64-${TAG//-/}.tgz" -o "$RUNNER_TEMP/cad.tgz"
+        tar -xzf "$RUNNER_TEMP/cad.tgz" -C "$RUNNER_TEMP/oss-cad-suite" --strip-components=1
+        rm "$RUNNER_TEMP/cad.tgz"
+    - name: Put the CAD suite on the path
+      shell: bash
+      run: echo "$RUNNER_TEMP/oss-cad-suite/bin" >> "$GITHUB_PATH"
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index f309043..d32d035 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -13,9 +13,8 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v7
-      - uses: YosysHQ/setup-oss-cad-suite@v4
+      - uses: ./.github/actions/oss-cad-suite
         with:
-          github-token: ${{ secrets.GITHUB_TOKEN }}
           version: ${{ env.OSS_CAD_SUITE }}
       - name: synchronizer
         run: make MOD=synchronizer
@@ -51,9 +50,8 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v7
-      - uses: YosysHQ/setup-oss-cad-suite@v4
+      - uses: ./.github/actions/oss-cad-suite
         with:
-          github-token: ${{ secrets.GITHUB_TOKEN }}
           version: ${{ env.OSS_CAD_SUITE }}
       - name: uart_rx formal
         run: make formal MOD=uart_rx

From e89098dc5f5aff7d39f912b757494e8fdda03b58 Mon Sep 17 00:00:00 2001
From: drewbabel <122849144+drewbabel@users.noreply.github.com>
Date: Sun, 11 Oct 2026 14:36:22 -0700
Subject: [PATCH 2/2] [ci] Run CI on every branch push

---
 .github/workflows/ci.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d32d035..dbed88b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -5,8 +5,6 @@ env:
 
 on:
   push:
-    branches: [main]
-  pull_request:
 
 jobs:
   testbenches: