Status: | OK |
---|---|
Date/Time: | Oct 5 2018, 12:28 |
Duration: | 0:01:12.683799 |
Builder: | ka4 |
Revision: | Merge tag 'drm-fixes-2018-10-05' of git://anongit.freedesktop.org/drm/drm (befad944e2312c18d855013ce154ca7d2b110ade)
|
Target: | linus/nds32-defconfig/nds32le-gcc8 |
Branch: | linus |
Compiler: | nds32le-gcc8 (nds32le-linux-gcc (GCC) 8.1.0) |
Config: | defconfig (download) |