From 39fb35facaf4efdab0566c5d3c339e56ee2a5434 Mon Sep 17 00:00:00 2001
From: htfab <mpw@htamas.net>
Date: Mon, 30 Sep 2024 14:08:39 +0200
Subject: [PATCH] fix(ci): add `setup-python` to formal.yaml

---
 .github/workflows/formal.yaml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/formal.yaml b/.github/workflows/formal.yaml
index 6f15b65..d42ffc1 100644
--- 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: