ci: update ci-tools repo sha

This should fix an issue with setting labels. A label was renamed and
ci-tools did not handle the error.

Signed-off-by: Anas Nashif <anas.nashif@intel.com>
This commit is contained in:
Anas Nashif 2020-05-11 15:27:33 -04:00
parent 2c3d0b83e3
commit 8cde5ff848

View file

@ -38,7 +38,7 @@ manifest:
path: modules/lib/canopennode
revision: 5c6b0566d56264efd4bf23ed58bc7cb8b32fe063
- name: ci-tools
revision: cf55a47d52d38af655f3efa6d38ff105b727358a
revision: da9a2df574094f52d87a03f6393928bdc7dce17c
path: tools/ci-tools
- name: civetweb
revision: 99129c5efc907ea613c4b73ccff07581feb58a7a