89f2c54973
Fix migrate-2023-09-11 by dropping hte index first
2023-09-18 14:09:54 +02:00
db115ad140
Merge pull request 'further CI fixes: require alcotest 1.2.0 (for check'), disable formatting (no .ocamlformat)' ( #175 ) from lower-bound-fix into main
...
Reviewed-on: #175
2023-09-18 09:08:39 +00:00
e0bc795735
further CI fixes: require alcotest 1.2.0 (for check'), disable formatting (no .ocamlformat)
2023-09-18 10:52:02 +02:00
48ce55e73e
Merge pull request 'fix CI' ( #173 ) from ci into main
...
Reviewed-on: #173
2023-09-12 13:47:51 +00:00
2b30ab6bf9
lower-bounds: add one for decompress (needing the gz subpackage)
2023-09-12 13:13:51 +02:00
665bd0dfe8
add yojson with-test dependency
2023-09-12 13:11:14 +02:00
207252401f
auto-format
2023-09-12 13:10:10 +02:00
8152bc0d14
Merge pull request 'regard a successful build only these with a main_artifact present' ( #168 ) from fix-85 into main
...
Reviewed-on: #168
2023-09-11 11:34:38 +00:00
3fe8bcb997
Add migration for modified index
2023-09-11 12:31:11 +02:00
3b98605fb7
redefine successful vs not successful build:
...
a successful build is when the main_binary is NOT NULL, an unsuccessful is when
main_binary is NULL
2023-09-11 11:28:38 +02:00
b27570ef11
Builder_db: get_all_failed, get_failed_builds: reconsider failed builds
...
As remarked by @reynir , consider builds with no main_binary as failed.
2023-09-11 11:28:38 +02:00
8a70e76032
regard a successful build only these with a main_artifact present
2023-09-11 11:28:38 +02:00
a756f2c814
Merge pull request 'verify_cache_dir: only consider non-failed builds (main_binary IS NOT NULL)' ( #170 ) from fix-138 into main
...
Reviewed-on: #170
2023-09-11 09:10:39 +00:00
a333d4eb9d
verify_cache_dir: only consider where main_binary is present
2023-09-11 11:10:03 +02:00
6cbf7d4009
whitespace cleanup in batch-viz.sh
2023-09-11 11:10:03 +02:00
c2cf97436d
whitespace cleanup in builder_db_app
2023-09-11 11:10:03 +02:00
1dc9a7b0fc
Merge pull request 'builder-web is compatible with dream.1.0.0~alpha5' ( #172 ) from dream.1.0.0-alpha5 into main
...
Reviewed-on: #172
2023-09-11 09:08:41 +00:00
0699473333
builder-web is compatible with dream.1.0.0~alpha5
2023-09-11 11:02:23 +02:00
d6f172b777
Merge pull request 'replace omd with cmarkit' ( #167 ) from cmarkit into main
...
Reviewed-on: #167
2023-09-11 08:34:53 +00:00
4222f15162
add test for heading adjustment
2023-09-11 10:22:16 +02:00
1293e081c6
Adjust heading from README to at least level 2 ( fixes #164 )
2023-09-11 10:22:16 +02:00
5feb615e12
replace omd with cmarkit
2023-09-11 10:22:16 +02:00
e6af891748
roburio -> robur-coop
2023-09-09 11:42:34 +02:00
530163a492
Merge pull request 'Remove the /job and /job/:job/build "redirect parent" parts from the router' ( #169 ) from requests into main
...
Reviewed-on: #169
2023-09-08 19:02:28 +00:00
544d6883a0
Remove the /job and /job/:job/build "redirect parent" parts from the router
...
Also, when "remove slash and redirect" (in the "Middleware"), use a 301 status.
This is well recognized by browsers, and leads to a request to the respective
resource (in contrast to 308. 308 may be useful for other HTTP methods than GET,
but our entire redirect middleware only handles GET and HEAD anyways (POST are
excluded).
2023-08-27 22:02:47 +02:00
d43c3aa26c
Merge pull request 'Fix build of builder-web with more recent packages:' ( #166 ) from fix-build into main
...
Reviewed-on: #166
2023-08-25 09:52:34 +00:00
6f30d5d144
Fix build of builder-web with more recent packages:
...
Cstruct.copy is deprecated
Mirage_crypto_rng_unix.initialize requires the RNG module as paramater (since mirage-crypto-rng 0.11.0)
Lwt_result.catch takes a function (unit -> 'a Lwt.t) since lwt 5.7.0
2023-08-25 10:09:21 +02:00
61575c0f79
git.robur.io is now git.robur.coop
2023-06-03 15:34:42 +02: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
62965d4f90
FreeBSD rc script: restart the service on termination
2023-05-27 20:06:44 +02:00
Robur
e7b3e13597
Fix compilation
2023-03-13 15:25:52 +00: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
ab45412a7c
Merge pull request 'Visualization script enhancements' ( #136 ) from viz-script-fixes into main
...
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/136
2023-03-13 14:44:26 +00:00
Robur
4cc81f9950
visualizations.sh: use curly braces for variables
2023-03-13 14:43:54 +00:00
a0539604dc
treat mirage (>=4.2.0) unikernels as unikernels, since they have x-mirage-opam-lock-location in the opam file
...
fixes #151
2023-03-13 11:50:05 +00:00
40b31ed691
Merge pull request 'adapt to omd 2.0.0 alpha3, which adds a Table constructor' ( #160 ) from omd-2-alpha3 into main
...
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/160
2023-03-13 11:42:35 +00:00
Robur
92fb616980
Update omd to 2.0.0~alpha3
2023-03-13 11:41:59 +00:00
Robur
ae2a920a42
Merge branch '20220802_test_hardcoded_links_in_albatross_and_builder'
2023-03-13 11:32:45 +00:00
Robur
56b0b7c990
Router test: consider only parameters in route
...
Also update albatross tests
2023-03-13 11:31:21 +00:00
02dbe1af37
adapt to omd 2.0.0 alpha3, which adds a Table constructor
2023-03-10 15:48:04 +01:00
3bb8925bd3
Merge pull request '/failed-builds: special case no failed builds' ( #148 ) from fix-142 into main
...
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/148
2022-11-14 13:21:11 +00:00
e9f6e1d577
/failed-builds: special case no failed builds
...
🥳
2022-11-09 12:12:54 +01:00
a355b6124d
Merge pull request 'compare view: remove empty headings (starting with 0), restructure code' ( #147 ) from compare-no-empty into main
...
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/147
2022-11-08 09:15:40 +00:00
5722fccf31
Fix local hrefs
...
The id attribute needs the id name without '#' while in the anchor href
we need to prefix with '#'.
2022-11-08 10:09:06 +01:00
2f632fc4c3
duniverse package, version -> dir, content
...
See previous recent nomenclature commit
2022-11-08 10:06:48 +01:00
891aa882ef
compare view: remove empty headings (starting with 0), restructure code
2022-11-07 20:44:43 +01:00
51644d8cd9
Merge pull request 'Compute difference in x-opam-monorepo-duniverse-dirs and display it in compare' ( #146 ) from opamdiff-mirage4 into main
...
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/146
2022-11-07 15:42:40 +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
