3 results (14ms)
2020-02-28 §
16:27 <wm-bot> <root> Migrated to 2020 Kubernetes cluster [tools.sowhy]
2020-02-26 §
20:03 <wm-bot> <root> Reverted to legacy Kubernetes cluster [tools.sowhy]
17:03 <wm-bot> <root> Migrated to 2020 Kubernetes cluster [tools.sowhy]