02afdbb391
Use custom labels for the diffs
...
Otherwise we leak the temporary file names which are also not
interesting to the (innocent) user.
2025-01-09 16:48:45 +01:00
b9668365cd
use Bos.OS.File.with_tmp_oc instead to cleanup files immediately
2025-01-08 13:04:34 +01:00
420d049ff0
remove more unneeded code
2025-01-07 13:49:28 +01:00
8c29161144
Compute and present the opam file differences as a unified diff
2025-01-07 13:17:10 +01:00
92ee6b9aaf
Yojson is now a non-test dependency
2024-12-20 10:12:55 +01:00
8fb99041ba
return json for comparison of two builds when header has accept json
2024-12-20 07:01:40 +01:00
b718a0e4ea
take care of git pins, attempt 2
2023-05-31 17:18:24 +02:00
12383cbd06
duniverse diff: check for hashes on both r and l
2023-05-31 17:11:47 +02:00
Robur
ae1d8c553f
Show an error when parsing duniverse fails
2023-03-13 15:25:14 +00:00
64045f7dec
The opamdiff for a duniverse attempts to parse the x-opam-monorepo-duniverse-dirs
...
Previously, an entry pinned to a commit, such as openvpn:
[
"git+https://github.com/roburio/openvpn.git#5041b2837fe299138fae95649cb812a3930be163 "
"openvpn"
]
couldn't be decoded (since the form was assumed to be List [ URL ; DIR ; HASHES ]
Now, the parser is extended to cope with List [ URL ; DIR ] as well.
Seen on https://builds.robur.coop/compare/dde0380c-11f8-4e4f-8e91-d4ffcf5f4e08/35d0bddc-e118-44c5-bbba-f5e53cccca2d
2023-03-13 14:46:35 +00:00
8caa98644f
Nomenclature: duniverse dirs vs duniverse packages
...
We have duniverse (simple) directories and no version information.
2022-11-07 16:38:20 +01:00
8862440053
Compute difference in x-opam-monorepo-duniverse-dirs and display it in compare
2022-11-07 16:38:20 +01:00
f4da9ad666
In Opamdiff.compare, do not figure out unchanged packages.
...
In the View.compare_builds (/compare/..), do not display
"XX opam packages unchanged".
The reasoning is that the diff view concerns:
(a) opam packages
(b) environment variables
(c) system packages
And we're only interested in what changed in each category. The list of
unchanged opam packages is not really of interest, but adds quite some noise to
the page.
2022-08-05 11:16:21 +02:00
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
c51399823c
Packages w/ same version different opam
2021-04-23 09:45:35 +02:00
031a2042b0
opam-switch diff
2021-04-23 09:45:35 +02:00
