36afb35e08
Update builder-db with content addressing
2024-01-09 13:32:13 +00:00
9f5458c8f4
Fix migration script
...
It didn't even compile :(
2024-01-09 13:32:13 +00:00
78a66dc089
Add migration script for content-addressed artifacts
2024-01-09 13:32:13 +00:00
1452de6280
Don't mask error in test setup
2024-01-09 13:32:13 +00:00
5ec5cb66df
Update tests and fix bug discovered
2024-01-09 13:32:13 +00:00
a56bd28e64
Add missing right paren
2024-01-09 13:32:13 +00:00
f636280f10
WIP content addressing
2024-01-09 13:32:08 +00:00
7f3a6719e2
require cmarkit 0.3
...
work around the issue reported at https://github.com/dbuenzli/cmarkit/issues/14
add a second table test, fix the tests for the 0.3 fixed layouting
2023-12-14 15:10:12 +01:00
46d8ba611c
Merge pull request 'Fixup: latest succesful build has main binary' ( #181 ) from fix-front into main
...
Reviewed-on: #181
2023-11-22 13:09:24 +00:00
57a11d4385
Fixup: latest succesful build has main binary
2023-11-22 14:07:28 +01:00
fc253c616d
Merge pull request 'fix get_latest_successful_with_binary to only return builds with main_binary' ( #180 ) from fix-front into main
...
Reviewed-on: #180
2023-11-22 12:44:24 +00:00
e262ae9d90
Rewrite query to not use LEFT JOIN
...
Since we now consider only builds with main binaries successfull we can
rewrite get_latest_successful_with_binary to not use a LEFT JOIN.
2023-11-22 13:43:09 +01:00
39da49363f
Merge pull request 'Enable non-strict mode for cmarkit to render tables' ( #179 ) from cmarkit-table into main
...
Reviewed-on: #179
2023-11-22 12:26:59 +00:00
6c4f36bfba
fix get_latest_successful_with_binary to only return builds with main_binary
...
so-called successful builds. in a756f2c..3b98605f there were regressions
(missing this condition in get_latest_succesful_with_binary,
get_next_successful_different_output, get_previous_successful_different_output).
2023-11-22 12:28:19 +01:00
ded21b9131
Enable non-strict mode for cmarkit to render tables
2023-11-22 12:13:42 +01:00
Robur
bf35e3fbae
repo scripts: remove existing packages
...
In the end the packaging tooling does not like multiple versions of
the same package. Thus we remove old packages before publishing.
2023-11-20 12:11:52 +00:00
Robur
6ba2994dcf
Fix debian packaging (version to always include -#commit-g<commit-id>)
...
If the build is a release, use -0-g0000000.
Also add this sanitization to the check_versions.sh
2023-11-20 11:52:59 +00:00
46f93c28ea
Merge pull request 'only show active jobs, fixes #162 ' ( #176 ) from orphan-old-builds into main
...
Reviewed-on: #176
2023-09-26 11:18:40 +00:00
378f5c4538
UI enhancement: all/active build modal
...
When showing the active builds link to all builds and vice versa.
2023-09-19 15:07:47 +02:00
bfa06c95f8
whitespace-cleanup
2023-09-19 15:07:47 +02:00
a9799f4ca8
delay computation to when the request lands
2023-09-19 15:07:47 +02:00
848186bd1a
make the expiry of jobs configurable via cli (default 30)
2023-09-19 15:07:47 +02:00
95b4856179
skip jobs with no builds
2023-09-19 15:07:47 +02:00
8dedc8b95b
only show active jobs, fixes #162
2023-09-19 15:07:47 +02:00
fde834ad02
Initialize rng
2023-09-19 15:07:12 +02:00
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
