From e97bdaf7a1175ad02bc3ba3adb4b1b26d6204fad Mon Sep 17 00:00:00 2001
From: Olof Kindgren <olof.kindgren@gmail.com>
Date: Mon, 11 Nov 2024 08:13:32 +0100
Subject: [PATCH] Update cad-suite GH action

---
 .github/workflows/formal.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/formal.yml b/.github/workflows/formal.yml
index 1d62e38..37425a3 100644
--- a/.github/workflows/formal.yml
+++ b/.github/workflows/formal.yml
@@ -14,7 +14,7 @@ jobs:
         uses: actions/checkout@v4
         with:
           path: cores/serv/serv-src
-      - uses: YosysHQ/setup-oss-cad-suite@v2
+      - uses: YosysHQ/setup-oss-cad-suite@v3
         with:
           github-token: ${{ secrets.GITHUB_TOKEN }}
       - name: Prepare formal tests