Sat, 07 Nov 2026 20:07:36 UTC Log in

build (f45, /rpms/ghc-edit-distance.git:c3fcbea705e57cde54b3be9f86dd193b4d513b12)

closed
Task 26185 owned by guoguo created Wed, 14 Oct 2026 00:00:36 UTC ran 0:07:08

Descendants

Parent: none (top-level task)
Logs task 26185
—