add buildtools to github actions

2026-09-01 02:17:20 +02:00 · 2023-02-15 13:24:34 -05:00
parent ceffb52d82
commit eb26587fc5
1 changed files with 4 additions and 1 deletions
@@ -18,7 +18,10 @@ jobs:
          echo "${{ secrets.LAB_BC_KNOWN_HOSTS }}" > ~/.ssh/known_hosts

      - name: Install Manta from Source
-        run: python -m build && python3 -m pip install .
+        run: |
+          pip3 install build
+          python -m build
+          python3 -m pip install .

      - name: Generate Core
        run: manta gen examples/counter/manta.yaml examples/counter/src/debug.sv