3333121984
Fix cachet version
2025-02-05 16:01:54 +01:00
f33bb55eb7
Update owee->cachet change in solo5-elftool
2025-02-05 15:59:40 +01:00
2ff5e7c5a9
Merge pull request 'Upgrade to solo5-elftool 0.4.0' ( !17 ) from solo5-elftool.0.4.0 into main
...
Reviewed-on: #17
2025-02-05 14:57:46 +00:00
b5470e7866
Upgrade to solo5-elftool 0.4.0
2025-02-04 20:12:42 +01:00
d6c0cd12ac
Merge pull request 'Update to mirage-crypto-rng>=1.2.0' ( !16 ) from fix-mirage-crypto into main
...
Reviewed-on: #16
2025-02-04 17:56:44 +00:00
de38c3674b
Update to mirage-crypto-rng>=1.2.0
2025-02-04 11:39:44 +01:00
811e468d93
Merge pull request 'Add upper bound on solo5-elftool' ( !15 ) from solo5-elftool-constraint into main
...
Reviewed-on: #15
2025-02-04 10:15:00 +00:00
31686d90c7
Add upper bound on solo5-elftool
...
In preparation for upcoming release of solo5-elftool.
2025-02-04 11:11:57 +01:00
644c3c2c7d
Merge pull request 'Inline owee unix dependent code' ( !14 ) from owee into main
...
Reviewed-on: #14
2025-01-24 14:30:16 +00:00
be2dfa9aad
Inline owee unix dependent code
...
Then we can publish in unikernel-repo the unix-free owee fork
2025-01-24 15:23:37 +01:00
49ca776d33
Merge pull request 'Work around dream-encoding footgun' ( !13 ) from fix-dream-encode into main
...
Reviewed-on: #13
2025-01-24 13:21:17 +00:00
4e74c8d25f
Work around dream-encoding footgun
...
Dream-encoding adds a Transfer-Encoding header to a response. If that
response is an error code it will go through the error handler which may
change the response - but the new response *does not* go through the
dream-encoding middleware! This means we may rewrite the response with a
plaintext message but still have the Transfer-Encoding header! This
makes clients very unhappy.
2025-01-24 13:56:57 +01:00
713912071e
Merge pull request 'Add compression via content-encoding' ( !12 ) from content-encoding-compression into main
...
Reviewed-on: #12
2025-01-17 09:06:07 +00:00
4ec9d0344a
Add compression via content-encoding
2025-01-17 09:51:48 +01:00
e1a6db3fbd
Merge pull request 'Add more json to endpoints, populate-local.sh' ( !11 ) from more-json into main
...
Reviewed-on: #11
2025-01-16 14:13:02 +00:00
58d05ba908
Add more json to endpoints, populate-local.sh
...
Some basic json is added to the endpoints that list jobs and builds.
With this a script populate-local.sh can be used to fetch a number of
builds from a remote instance and upload them to a local instance. This
is useful for populating an instance with real builds for testing
purposes.
Closes #11 .
2025-01-16 14:49:23 +01:00
879ecb6272
Merge pull request 'Endpoint for builder exec asn.1 data' ( !10 ) from download-full into main
...
Reviewed-on: #10
2025-01-15 13:23:32 +00:00
b2f153396b
console_of_string: be a bit more robust
...
If a line somehow has an unexpected shape we log a warning and omit it.
2025-01-15 13:44:27 +01:00
3c7c21afcd
Improve console_of_string
2025-01-15 13:36:31 +01:00
76ab741344
Actually return the builder exec data
2025-01-15 09:52:48 +01:00
a870894475
Add exec endpoint
2025-01-14 17:11:35 +01:00
0b26571cfa
Fix label for right file
...
It's not *also* the left file
2025-01-10 16:15:22 +01:00
840132839f
Merge pull request 'Use custom labels for the diffs' ( !9 ) from diff-labels into main
...
Reviewed-on: #9
2025-01-10 11:34:12 +00:00
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
858f01234f
Merge pull request 'diff view: translate \n to <br>' ( !8 ) from fix into main
...
Reviewed-on: #8
Reviewed-by: Reynir Björnsson <reynir@reynir.dk>
2025-01-08 16:00:54 +00:00
e26af2dfdf
as suggested by @reynir , use a pre
2025-01-08 17:00:00 +01:00
0a025adaae
diff view: translate \n to <br>
2025-01-08 15:34:43 +01:00
0567f58f05
Merge pull request 'Compute and present the opam file differences as a unified diff' ( !7 ) from opam-diff-as-diff into main
...
Reviewed-on: #7
Reviewed-by: Reynir Björnsson <reynir@reynir.dk>
2025-01-08 14:16:04 +00: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
f97ff8440d
Merge pull request 'Make json structure uniform' ( !6 ) from pixiedust-patch-1 into main
...
Reviewed-on: #6
2025-01-06 15:01:09 +00:00
0261f89022
uniform naming
2025-01-06 16:00:00 +01:00
161a8e713b
update builder_web
...
Make json fileds uniform
2024-12-30 14:05:23 +00:00
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
b22f571a92
Merge pull request 'Add Json API to some endpoints' ( !5 ) from json_responses into main
...
Reviewed-on: #5
Reviewed-by: Reynir Björnsson <reynir@reynir.dk>
2024-12-20 11:46:46 +00:00
44e7cd566f
Refactor accept: json logic, return json errors
...
Now `or_error_response` will return the error message as a json object
if Accept: application/json.
2024-12-20 10:46:16 +01:00
c670df643e
Tweak json field names
...
Also add "main_binary" boolean field in comparison for consistency with
`job_build` json.
2024-12-20 10:29:33 +01:00
2c44f88460
compare_builds json: return null if no main binary
2024-12-20 10:25:52 +01:00
23db42fed3
Rely on redirect also for Accept: json
2024-12-20 10:13:30 +01:00
92ee6b9aaf
Yojson is now a non-test dependency
2024-12-20 10:12:55 +01:00
63223b8c46
add more data to build endpoint
2024-12-20 08:29:16 +01:00
b26d0a28d1
add opam dir to gitignore
2024-12-20 07:03:58 +01:00
14626c0bfe
some documentation
2024-12-20 07:03:47 +01:00
8fb99041ba
return json for comparison of two builds when header has accept json
2024-12-20 07:01:40 +01:00
55d4091256
return uuid of latest build when header contains an accept json
2024-12-19 12:22:07 +01:00
9bd42944a9
add maintenance intent
2024-12-17 17:03:27 +01:00
75f337b995
Merge pull request 'update to uuidm 0.9.9 deprecations' ( !4 ) from update-uuidm into main
...
Reviewed-on: #4
Reviewed-by: Reynir Björnsson <reynir@reynir.dk>
2024-12-17 11:15:18 +00:00
580a8830e3
update to uuidm 0.9.9 deprecations
2024-12-17 12:11:44 +01:00
083f961ac4
Merge pull request 'output SHA256 sum without spaces' ( !3 ) from style into main
...
Reviewed-on: #3
2024-09-24 12:16:18 +00:00
