From 6881fa51589fd429ab2c57f532051544493c0558 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Sat, 16 Mar 2024 15:39:40 +1300
Subject: [PATCH 1/3] ci: Initial commit

Dummy test of YosysHQ/setup-oss-cad-suite@v3
---
 .github/workflows/ci.yml | 15 +++++++++++++++
 1 file changed, 15 insertions(+)
 create mode 100644 .github/workflows/ci.yml

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
new file mode 100644
index 0000000..fac8e90
--- /dev/null
+++ b/.github/workflows/ci.yml
@@ -0,0 +1,15 @@
+on:
+  push:
+  pull_request:
+  workflow_dispatch:
+
+jobs:
+  oss-test:
+    runs-on: ubuntu-latest
+
+    steps:
+    - uses: actions/checkout@v4
+    - uses: YosysHQ/setup-oss-cad-suite@v3
+      with:
+        github-token: ${{ secrets.GITHUB_TOKEN }}
+    - run: yosys --version

From 4d3322978679c74a89350b73b955e44b22180a3f Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Sat, 16 Mar 2024 15:39:40 +1300
Subject: [PATCH 2/3] ci: Add riscv-formal job

Checkout YosysHQ/riscv-formal and run `make checks` for picorv32.
---
 .github/workflows/ci.yml | 32 ++++++++++++++++++++++++++++++++
 1 file changed, 32 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index fac8e90..11cf5e0 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -13,3 +13,35 @@ jobs:
       with:
         github-token: ${{ secrets.GITHUB_TOKEN }}
     - run: yosys --version
+
+  riscv-formal:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout picorv32.v
+        uses: actions/checkout@v4
+        with:
+          sparse-checkout: |
+            picorv32.v
+          sparse-checkout-cone-mode: false
+      - name: Checkout riscv-formal
+        uses: actions/checkout@v4
+        with:
+          repository: YosysHQ/riscv-formal
+          path: riscv-formal
+      - name: cp picorv32.v
+        run: |
+          cp picorv32.v -t riscv-formal/cores/picorv32
+
+      - uses: YosysHQ/setup-oss-cad-suite@v3
+        with:
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+
+      - name: make checks
+        run: |
+          cd riscv-formal/cores/picorv32
+          make checks -j$(nproc)
+      - name: make check
+        run: |
+          cd riscv-formal/cores/picorv32
+          make check

From 640c4e01fc7e53ddf3264f5262a27a38ece28503 Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Sat, 16 Mar 2024 15:39:40 +1300
Subject: [PATCH 3/3] ci: Remove oss-test

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

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 11cf5e0..ffc22fb 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -4,16 +4,6 @@ on:
   workflow_dispatch:
 
 jobs:
-  oss-test:
-    runs-on: ubuntu-latest
-
-    steps:
-    - uses: actions/checkout@v4
-    - uses: YosysHQ/setup-oss-cad-suite@v3
-      with:
-        github-token: ${{ secrets.GITHUB_TOKEN }}
-    - run: yosys --version
-
   riscv-formal:
     runs-on: ubuntu-latest