From e6ac6834e7bf67b17c773f9e487a1d53ff6a4eb3 Mon Sep 17 00:00:00 2001 From: Hannes Mehnert Date: Wed, 27 Jul 2022 09:45:01 +0200 Subject: [PATCH] on the front page, order the builds by platform name --- db/builder_db.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/db/builder_db.ml b/db/builder_db.ml index 26244e2..18f6d29 100644 --- a/db/builder_db.ml +++ b/db/builder_db.ml @@ -412,7 +412,7 @@ module Build = struct let get_platforms_for_job = id `job ->* Caqti_type.string @@ - "SELECT DISTINCT platform FROM build WHERE job = ?" + "SELECT DISTINCT platform FROM build WHERE job = ? ORDER BY platform" let add = t ->. Caqti_type.unit @@