JanZerebecki closed this task as a duplicate of T119139: [keyresult] Migrate php (Zend and HHVM) CI jobs to Nodepool.
TASK DETAIL https://phabricator.wikimedia.org/T132681 EMAIL PREFERENCES https://phabricator.wikimedia.org/settings/panel/emailpreferences/ To: JanZerebecki Cc: Aklapper, JanZerebecki, adrianheine, D3r1ck01, Izno, Wikidata-bugs, aude, Mbch331, Jay8g, hashar, greg _______________________________________________ Wikidata-bugs mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/wikidata-bugs
