Make json structure uniform #6

Merged

reynir merged 3 commits from pixiedust-patch-1 into main

2025-01-06 15:01:10 +00:00

Author	SHA1	Message	Date
PizieDust	0261f89022	uniform naming	2025-01-06 16:00:00 +01:00
PixieDust	161a8e713b	update builder_web Make json fileds uniform	2024-12-30 14:05:23 +00:00
PixieDust	c48a1bef3c	Make json structure uniform In `opamndiff` we have a similar structure but simply `version_left` and `version_right`. https://git.robur.coop/robur/builder-web/src/branch/main/opamdiff/opamdiff.ml#L284-L286	2024-12-29 07:38:51 +00:00