Attempt to add GHA support.

cr1901 · Nov 6, 2023 · 9a4469d · 9a4469d
1 parent 6e6f1f4
commit 9a4469d
Show file tree

Hide file tree

Showing 2 changed files with 59 additions and 0 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -0,0 +1,58 @@
+on:
+    push:
+    pull_request:
+
+name: CI
+
+# TODO: Print outputs on failing steps. This can be done with something like:
+# gzip -c cover.vcd | base64 | base64 -d | gunzip > cover-out.vcd
+
+jobs:
+    ci-linux:
+        runs-on: ubuntu-latest
+
+        steps:
+            - uses: actions/checkout@v3
+            - uses: actions/setup-python@v4
+              with:
+                python-version: "3.11"
+            - uses: pdm-project/setup-pdm@v3
+              with:
+                python-version: 3.11
+                cache: true
+            - name: Install riscv64 GCC
+              run: sudo apt install -y gcc-riscv64-unknown-elf
+            - name: Set oss-cad-suite vars (for cache)
+              run: |
+                echo >> $GITHUB_ENV OSS_CAD_SUITE_DATE=$(cat ci/oss-cad-suite-version)
+            - name: Cache OSS CAD Suite
+              id: cache-oss-cad-suite
+              uses: actions/cache@v3
+              with:
+                path: ~/cache/
+                key: ${{ runner.os }}-${{ env.OSS_CAD_SUITE_DATE }}
+            - name: Download OSS CAD Suite
+              if: steps.cache-oss-cad-suite.outputs.cache-hit != 'true'
+              run: |
+                mkdir -p ~/cache/oss-cad-suite-linux
+                wget https://github.com/YosysHQ/oss-cad-suite-build/releases/download/2023-11-06/oss-cad-suite-linux-x64-$OSS_CAD_SUITE_DATE.tgz -nv -O oss-cad-suite-linux-x64.tar.gz
+                tar -xzf oss-cad-suite-linux-x64.tar.gz -C ~/cache/oss-cad-suite-linux-x64
+            - name: Set OSS CAD Suite path
+              run: echo >> $GITHUB_PATH `echo ~/cache/oss-cad-suite-linux-x64/*/bin`
+            - name: Install PDM dependencies
+              run: pdm install --dev
+            - name: Run Pytest Tests
+              run: |
+                pdm test-quick
+            - name: Run RISC-V Formal
+              run: |
+                pdm rvformal-all
+            - name: Test Generate Verilog
+              run: |
+                  pdm gen -o sentinel.v
+            - name: Create Demo Bitstream
+              run: |
+                  pdm demo
+            - name: Benchmark Demo Bitstream
+              run: |
+                pdm demo
diff --git a/ci/oss-cad-suite-version b/ci/oss-cad-suite-version
@@ -0,0 +1 @@
+20231106