| commit | 8cde5ff848bb71996b30abfd45350be42c2bdb41 | [log] [tgz] |
|---|---|---|
| author | Anas Nashif <anas.nashif@intel.com> | Mon May 11 15:27:33 2020 -0400 |
| committer | Anas Nashif <anas.nashif@intel.com> | Mon May 11 16:35:48 2020 -0400 |
| tree | ecb2bc413b03cf0f60c5cf99c6cac50397264285 | |
| parent | 2c3d0b83e3454bbec44f991019b80ba4350a1045 [diff] |
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>