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

Simplify RunMap compare

Browse source
This commit is contained in:
Reynir Björnsson 2020-12-08 11:49:42 +01:00
parent 465ede64d6
commit eb039308ec
1 changed files with 1 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
lib/model.ml
View file

@ -7,10 +7,7 @@ open Lwt_result.Infix
module RunMap = Map.Make(struct
type t = Fpath.t * Fpath.t
let compare (j1,r1) (j2,r2) =
let jcmp = Fpath.compare j1 j2 in
if jcmp <> 0
then jcmp
else Fpath.compare r1 r2
Fpath.(compare (j1 // r1) (j2 // r2))
end)
type job_run_meta = {