3 commits

Author	SHA1	Message	Date
Robur	e15bd00fe5	improve comparison page and always link with current build as head (right_build)	2021-11-12 13:01:20 +00:00
hannes	9c326679ba	investigate differences in build, install, and uri when opam file differed (#48) ... compare environment and system packages as well investigate differences in build, install, and uri when opam file differed Co-authored-by: Robur <team@robur.coop> Reviewed-on: https://git.robur.io/robur/builder-web/pulls/48 Co-Authored-By: hannes <hannes@mehnert.org> Co-Committed-By: hannes <hannes@mehnert.org>	2021-07-06 08:34:17 +00:00
Robur	e45497e97c	add tags to jobs: section and synopsis, inferred from the latest successful build	2021-06-29 14:59:08 +00:00