summaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorÁrni Dagur <arni@dagur.eu>2020-06-07 17:51:42 -0400
committerGitHub <noreply@github.com>2020-06-07 17:51:42 -0400
commit55611e2c74aec18a60d56ae63e92cc3bc6f4f6b7 (patch)
tree33024145cf356662b9d8994fca02124a79ad0e57 /.github
parentbee204e07a380477371a560479158c86abfba731 (diff)
Allow more options when constructing Engine (#6)
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/ci.yml5
1 files changed, 4 insertions, 1 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index a5c429c..18cdc06 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -72,6 +72,9 @@ jobs:
72 - name: Build Python package 72 - name: Build Python package
73 run: poetry run maturin develop --release 73 run: poetry run maturin develop --release
74 74
75 - name: Run Python tests
76 run: poetry run pytest -vv --color=yes
77
75 python-publish: 78 python-publish:
76 needs: build 79 needs: build
77 runs-on: ${{ matrix.os }} 80 runs-on: ${{ matrix.os }}
@@ -162,4 +165,4 @@ jobs:
162 uses: peaceiris/actions-gh-pages@v3 165 uses: peaceiris/actions-gh-pages@v3
163 with: 166 with:
164 github_token: ${{ secrets.GITHUB_TOKEN }} 167 github_token: ${{ secrets.GITHUB_TOKEN }}
165 publish_dir: ./target/github-pages \ No newline at end of file 168 publish_dir: ./target/github-pages