p96705831
/
z3
forked from openkylin/z3
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
z3/scripts/test-z3.yml

6 lines
59 B
YAML
Raw Permalink Blame History

steps:
- script: |
cd build
./test-z3 -a
cd ..
Reference in New Issue View Git Blame Copy Permalink