RESOLVED FIXED 191467
[GTK] Remove unmaintained bots 
https://bugs.webkit.org/show_bug.cgi?id=191467
Summary [GTK] Remove unmaintained bots
Philippe Normand
Reported 2018-11-09 06:41:08 PST
The 32-bits Release and ARM bots have been failing for months. They're a burden at this point :(
Attachments
Patch (5.90 KB, patch)
2018-11-09 06:43 PST, Philippe Normand 		achristensen: review+
DetailsFormatted DiffDiff
View All Add attachment proposed patch, testcase, etc.
Philippe Normand
Comment 1 2018-11-09 06:43:16 PST
Created attachment 354336 [details] Patch
Philippe Normand
Comment 2 2018-11-22 06:20:51 PST
Committed r238445: <https://trac.webkit.org/changeset/238445>
Philippe Normand
Comment 3 2018-11-22 06:21:16 PST
Lucas, can you please restart the buildbot master?
Radar WebKit Bug Importer
Comment 4 2018-11-22 06:21:25 PST
<rdar://problem/46213075>
Note You need to log in before you can comment on or make changes to this bug.