fix(ci): add setup-python to formal.yaml

TinyTapeout · Sep 30, 2024 · 39fb35f · 39fb35f
1 parent 0c41f21
commit 39fb35f
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/.github/workflows/formal.yaml b/.github/workflows/formal.yaml
@@ -20,6 +20,12 @@ jobs:
         with:
           submodules: recursive
 
+      - name: Set up python
+        uses: actions/setup-python@v5
+        with:
+          python-version: '3.11'
+          cache: 'pip'
+
       - name: install oss-cad-suite (cocotb / iverilog)
         uses: YosysHQ/setup-oss-cad-suite@v3
         with: