Use formal fork

olofk · Oct 12, 2024 · f2ddceb · f2ddceb
1 parent 9e6e67a
commit f2ddceb
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/formal.yml b/.github/workflows/formal.yml
@@ -9,7 +9,8 @@ jobs:
       - name: Checkout riscv-formal
         uses: actions/checkout@v4
         with:
-          repository: YosysHQ/riscv-formal
+          repository: olofk/riscv-formal
+          ref: serv
       - name: Checkout SERV
         uses: actions/checkout@v4
         with: