CI: replace Travis with GitHub Actions.

Fixes #445.
amaranth-lang · Jul 22, 2020 · 3934865 · 3934865
1 parent 0899ff3
commit 3934865
Showing 1 changed file with 27 additions and 4 deletions.
diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
@@ -1,9 +1,32 @@
-on:
-  push: {}
-  pull_request:
-    types: [opened, reopened, synchronize]
+on: push
 name: CI
 jobs:
+  test:
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        python-version: ['3.6', '3.7', '3.8', pypy3]
+    - name: Check out source code
+      uses: actions/checkout@v2
+      with:
+        fetch-depth: 0
+    - name: Set up Python
+      uses: actions/setup-python@v2
+      with:
+        python-version: ${{ matrix.python-version }}
+    - name: Install dependencies
+      run: |
+        apt install yices2
+        pip install setuptools setuptools_scm wheel coverage codecov yowasp-yosys nmigen-yosys
+        export NMIGEN_USE_YOSYS=builtin YOSYS=yowasp-yosys
+    - name: Preserve wasmtime cache
+      uses: actions/cache@v1
+      with:
+        path: ~/.local/wasmtime
+        key: ${{ runner.os }}-wasmtime
+    - name: Run tests
+      run: |
+        python -m unittest discover
   document:
     runs-on: ubuntu-latest
     steps: