The proposal to merge lp:~widelands-dev/widelands/new_wai_files_11082019 into
lp:widelands has been updated.
Status: Needs review => Merged
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/new_wai_files_11082019/+merge/371178
--
Your team Widelands Develop
Review: Approve
travis failure is not related to code.
@bunnybot merge force
--
https://code.launchpad.net/~widelands-dev/widelands/new_wai_files_11082019/+merge/371178
Your team Widelands Developers is subscribed to branch
lp:~widelands-dev/widelands/new_wai_files_11082019.
Refusing to merge, since Travis is not green. Use @bunnybot merge force for
merging anyways.
Travis build 5315. State: failed. Details:
https://travis-ci.org/widelands/widelands/builds/570577164.
--
https://code.launchpad.net/~widelands-dev/widelands/new_wai_files_11082019/+merge/371178
Your
Review: Approve
Thanks!
@bunnybot merge
--
https://code.launchpad.net/~widelands-dev/widelands/new_wai_files_11082019/+merge/371178
Your team Widelands Developers is subscribed to branch
lp:~widelands-dev/widelands/new_wai_files_11082019.
___
/_widelands_dev_widelands_new_wai_files_11082019-5088.
--
https://code.launchpad.net/~widelands-dev/widelands/new_wai_files_11082019/+merge/371178
Your team Widelands Developers is requested to review the proposed merge of
lp:~widelands-dev/widelands/new_wai_files_11082019 into lp:widelands
/new_wai_files_11082019/+merge/371178
I spent some time (of my PC) running the AI training, so I propose this for
merge.
--
Your team Widelands Developers is requested to review the proposed merge of
lp:~widelands-dev/widelands/new_wai_files_11082019 into lp:widelands.
=== modified file 'data/ai/ai_input_1.wai
6 matches
Mail list logo
