robur/builder-web
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request 'on the front page, order the builds by platform name' (#130) from order-platform into main

Browse source 
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/130
This commit is contained in:
Reynir Björnsson 2022-07-28 08:48:43 +00:00
commit 637afde869
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
db/builder_db.ml
View file

@ -412,7 +412,7 @@ module Build = struct
let get_platforms_for_job = let get_platforms_for_job =
id `job ->* Caqti_type.string @@ id `job ->* Caqti_type.string @@
"SELECT DISTINCT platform FROM build WHERE job = ?" "SELECT DISTINCT platform FROM build WHERE job = ? ORDER BY platform"
let add = let add =
t ->. Caqti_type.unit @@ t ->. Caqti_type.unit @@