mirror of
https://github.com/AdaCore/z3.git
synced 2026-02-12 12:40:40 -08:00
6 lines
59 B
YAML
6 lines
59 B
YAML
steps:
|
|
- script: |
|
|
cd build
|
|
./test-z3 -a
|
|
cd ..
|