Switch to github CI
This commit is contained in:
parent
46f69a8911
commit
7fe6520575
7 changed files with 147 additions and 104 deletions
7
scripts/ci/run
Executable file
7
scripts/ci/run
Executable file
|
@ -0,0 +1,7 @@
|
|||
#!/bin/bash -eu
|
||||
|
||||
cd "$(dirname "$0")"
|
||||
cd ../..
|
||||
|
||||
pip3 install --user tox
|
||||
tox
|
Loading…
Add table
Add a link
Reference in a new issue