1bbd08cabe
remove unused css
2025-02-15 20:09:41 +01:00
2ea8ed1b95
remove local opens of tyxml
2025-02-14 00:34:24 +01:00
76c6d451b8
remove styles, replace tables with divs and minor ui changes
2025-02-14 00:17:14 +01:00
2311bfeaea
remove more styles
2025-02-14 00:16:33 +01:00
24d93026af
remove unused css
2025-02-12 23:29:40 +01:00
28113becd5
prevent image overlap
2025-02-12 22:45:44 +01:00
e9a776d57d
expand all css classes
2025-02-12 22:45:32 +01:00
c890d6ef18
add robur logo
2025-02-10 19:29:17 +01:00
7b7d008f78
add dark mode to light mode toggle
2025-02-10 19:07:09 +01:00
9123e0d905
update styles on the various pages
2025-02-10 15:22:26 +01:00
f728e35944
use html for the hero text on homepage
2025-02-10 15:22:04 +01:00
9c0289335f
make background black and move sha256 search to the top
2025-02-10 15:21:33 +01:00
da52d976ad
redisign hero text on home page
2025-02-10 15:19:12 +01:00
6fa388631e
move styles to a seprate file
2025-02-10 15:18:18 +01:00
4914ddc56f
limit to 3 builds per job
2025-02-10 15:17:18 +01:00
6bc84f3e06
move css to a seperate module
2025-02-10 15:15:20 +01:00
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
