From: whitequark <whitequark@whitequark.org>
Date: Fri, 8 Oct 2021 17:48:00 +0000 (+0000)
Subject: Simplify CI workflow.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=69c8f06dfa4d66a99f4c640ccb648203e2d883fa;p=nmigen.git

Simplify CI workflow.
---

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index 3bcea9b..43b5afb 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -24,8 +24,8 @@ jobs:
         sudo add-apt-repository 'deb http://ppa.launchpad.net/sri-csl/formal-methods/ubuntu bionic main'
         sudo apt-get update
         sudo apt-get install yices2
-        pip install setuptools setuptools_scm wheel coverage codecov yowasp-yosys nmigen-yosys
-        pip install -e .
+        pip install coverage codecov yowasp-yosys
+        pip install -e .[builtin-yosys]
     - name: Preserve wasmtime cache
       uses: actions/cache@v1
       with:
@@ -48,7 +48,6 @@ jobs:
         uses: actions/setup-python@v2
       - name: Install dependencies
         run: |
-          python -m pip install --upgrade setuptools setuptools_scm wheel
           pip install -r docs/requirements.txt
           pip install -e .
       - name: Build documentation