Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: amaranth-lang/amaranth
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: a2ef4cb6b87b
Choose a base ref
...
head repository: amaranth-lang/amaranth
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 7c740a85eac8
Choose a head ref
  • 1 commit
  • 1 file changed
  • 1 contributor

Commits on Nov 5, 2021

  1. Simplify CI workflow.

    @whitequark
    whitequark committed Nov 5, 2021

    Verified

    This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
    GPG key ID: 4AEE18F83AFDEB23
    Expired
    Verified
    Learn about vigilant mode
    Copy the full SHA
    7c740a8 View commit details
Showing with 2 additions and 3 deletions.
  1. +2 −3 .github/workflows/main.yaml
5 changes: 2 additions & 3 deletions .github/workflows/main.yaml
View file
Original file line number Diff line number Diff line change
@@ -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