Hannes Mehnert hannes
1 follower · 0 following
  • Joined on 2024-08-21
Repositories
1
 Projects Packages Public activity Starred repositories
hannes pushed to main at robur/unikernel-repo 2024-11-06 15:51:08 +00:00
69d3fe2ad0 caldav-le: update
hannes pushed to swap at robur/opam-mirror 2024-11-06 12:15:18 +00:00
c3d5c74075 use K.remote, not the entire repo
hannes commented on pull request robur/opam-mirror#16 2024-11-06 12:10:32 +00:00
Use swapfs

From my perspective, this is ready to merge. It may be worth to cut a mirage-swapf release first. It may as well be worth to investigate log messages and condense them (now that we have a status…

hannes pushed to swap at robur/opam-mirror 2024-11-06 12:08:35 +00:00
be87d19797 reset errors, and sort failures
hannes pushed to swap at robur/opam-mirror 2024-11-06 11:57:50 +00:00
37008e81f3 organize failures into sections
hannes commented on pull request robur/opam-mirror#16 2024-11-06 11:30:14 +00:00
Use swapfs

with the http-mirage-client 0.0.8 that is fixed, this PR results in very nice archives where their checksums match \o/

hannes pushed to main at robur/http-mirage-client 2024-11-05 11:36:14 +00:00
9bd428af40 changes for 0.0.8
hannes pushed to main at robur/http-mirage-client 2024-11-05 11:35:33 +00:00
9d2095e68e changes for 0.0.8
hannes pushed to main at robur/http-mirage-client 2024-11-05 11:34:28 +00:00
8d30a70227 ocamlformat
hannes deleted branch fixes from robur/http-mirage-client 2024-11-05 11:28:43 +00:00
hannes pushed to main at robur/http-mirage-client 2024-11-05 11:28:42 +00:00
3e9b38787c Merge pull request 'if a redirect with a body is provided, we need to skip the body' (!2) from fixes into main
0009c1eead clarify how f and follow_redirect interact
bd6c9edff6 if a redirect with a body is provided, we need to skip the body
Compare 3 commits »
hannes merged pull request robur/http-mirage-client#2 2024-11-05 11:28:40 +00:00
if a redirect with a body is provided, we need to skip the body
hannes pushed to fixes at robur/http-mirage-client 2024-11-05 11:26:21 +00:00
0009c1eead clarify how f and follow_redirect interact
hannes commented on pull request robur/opam-mirror#16 2024-11-05 10:07:17 +00:00
Use swapfs

Disregard my last comment, there's only some issues in our http client(s):

hannes created pull request robur/http-mirage-client#2 2024-11-05 10:00:40 +00:00
if a redirect with a body is provided, we need to skip the body
hannes created branch fixes in robur/http-mirage-client 2024-11-05 10:00:10 +00:00
hannes pushed to fixes at robur/http-mirage-client 2024-11-05 10:00:10 +00:00
bd6c9edff6 if a redirect with a body is provided, we need to skip the body
hannes commented on pull request robur/opam-mirror#16 2024-11-04 19:17:36 +00:00
Use swapfs

Further debugging, the sha256 that we read out of swap is not the same that we write into it.

Doing some printf debugging in swap shows that the handle.blocks is only 0. And also the…

hannes commented on pull request robur/opam-mirror#16 2024-11-04 18:42:32 +00:00
Use swapfs

With this PR, even when using a parallel_download of 1, and exiting the unikernel after the first 14 downloads, I get only a few correct checksums:

$ for x in $(ls); do sha256 $x ;…
hannes commented on pull request robur/opam-mirror#16 2024-11-04 17:46:28 +00:00
Use swapfs

I added some commits... This includes: always use swapfs (even for fixed size downloads).

There's also more detailed error reporting.

And a TODO, would be nice to have a "set_stream" in Tar…