[Development] GitHub Pull requests
annulen at yandex.ru
Sun Mar 15 03:36:47 CET 2020
15.03.2020, 05:30, "Thiago Macieira" <thiago.macieira at intel.com>:
> On Saturday, 14 March 2020 09:11:39 EST Konstantin Tokarev wrote:
>> My feeling about the last item is quite opposite:
>> * UI cuts long lines, when I wanted to check if specific compiler flag is
>> actually in use, and of course it was beyond "..."
>> * UI doesn't allow using built-in search of browser, and their search is
>> really sluggish * Overall experience is quite sluggish, even in Chrome -
>> looks like this thing wasn't meant to handle large logs efficiently.
>> * When build finishes, and you need to check log of certain stage, UI forces
>> you to scroll its content from very beginning, loading lines incrementally
> That's not different from reading source in GitHub. On my 4K 27" monitor in
> the office, the code occupies the central third of the screen, horizontally. I
> always have to scroll sideways (and unlike Qt-based applications, Chrome does
> not scroll horizontally when you hold Alt while using the mouse wheel). The
> raw form is useful in those cases.
>> So, the only thing which really works is "raw log". It's approximately the
>> same what Coin provides to external users. The only benefit is that with
>> GitHub Actions you still can get an idea of overall progress of build,
>> while in Coin you just have to wait with fingers crossed.
Results are uploaded there only after build finishes. Before that, build progress
can only be seen on internal site.
More information about the Development