Update cad-suite GH action

olofk · Nov 11, 2024 · 4e0033b · 4e0033b
1 parent cd60abe
commit 4e0033b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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