[emveepee]

Continuous Integration and PR's are an amazing features of Kodi developmetn and have really helped me improve code and has even got a bug or two for me personally.  What has happened though  is an at least 3 occasions there have been internal build problem with with git or compiling the modules that fail that are completely outside my control.  As an example today compiling a module and unrelated program had an error on one build

D:\jenkins\workspace\binary-addons\kodi-windows-x86_64-master\cmake\addons\build\p8-platform\src\p8-platform\src\windows\dlfcn-win32.cpp(276): fatal error C1090: PDB API call failed, error code '23': (0x000006BA)

What is the correct procedure to report these problems and/or to resubmit the PR to see if it compiles again? (one time a close/open did the trick)

Thanks.

Martin