mirror of
https://github.com/urbit/shrub.git
synced 2024-11-24 04:58:08 +03:00
mod travis.yml
This commit is contained in:
parent
73098035fc
commit
78bf37a0fb
@ -13,7 +13,7 @@ before_script:
|
||||
- echo "export URBIT_HOME=`pwd`/urb" >>~/.bash_profile
|
||||
- make
|
||||
|
||||
script: "make --debug=v && pwd && ./CppTesting -v"
|
||||
script: "make"
|
||||
|
||||
notifications
|
||||
on_success: change
|
||||
|
Loading…
Reference in New Issue
Block a user