Commit graph

504 commits

Author SHA1 Message Date
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
8862440053 Compute difference in x-opam-monorepo-duniverse-dirs and display it in compare 2022-11-07 16:38:20 +01:00
3f3de027ce Merge pull request 'Classify a build as monitoring build if mirage-monitoring is in the dependency cone' (#144) from fix-monitoring into main
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/144
2022-11-07 11:36:09 +00:00
687b6bf680 Merge pull request 'Also add charset=utf-8 for console and script' (#145) from add-charset into main
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/145
2022-11-04 14:08:14 +00:00
82ea9e2266 Also add charset=utf-8 for console and script 2022-11-04 15:05:02 +01:00
cdc2eeebba Merge pull request 'add charset to various mime types' (#143) from add-charset into main
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/143
2022-11-04 13:56:05 +00:00
3914e718c3 Classify a build as monitoring build if mirage-monitoring is in the dependency cone 2022-11-04 14:51:58 +01:00
281e285673 add charset to various mime types 2022-11-04 14:19:16 +01:00
041f1d2640 Merge pull request 'FreeBSD-repo.sh: do not exit if grep fails' (#139) from fix-freebsd-repo into main
Reviewed-on: https://git.robur.io/robur/builder-web/pulls/139
2022-08-29 11:46:19 +00:00