RESOLVED FIXED283562
[build.webkit.org] [GTK] Remove Debian 11 bot 
https://bugs.webkit.org/show_bug.cgi?id=283562
Summary [build.webkit.org] [GTK] Remove Debian 11 bot
Diego Pino
Reported 2024-11-22 05:13:07 PST
Debian 11 reached end-of-life on 14th August 2024. We have been informally maintaining this post-commit bot longer than initially expected. As there are less and less users on Debian 11, there's no need to maintain it anymore.
Attachments
Add attachment proposed patch, testcase, etc.
Diego Pino
Comment 1 2024-11-22 05:15:06 PST
Pull request: https://github.com/webkit/webkit/pull/37019
EWS
Comment 2 2024-11-22 06:33:01 PST
Committed 286954@main (2afb80bf683b): <https://commits.webkit.org/286954@main> Reviewed commits have been landed. Closing PR #37019 and removing active labels.
Radar WebKit Bug Importer
Comment 3 2024-11-22 06:33:15 PST
<rdar://problem/140415326>
Note You need to log in before you can comment on or make changes to this bug.