Hannes Mehnert

hannes commented on pull request robur/unikernel-repo#3

2024-10-01 11:57:49 +00:00

WIP: Import qubes-miragevpn-xen.opam as-is

When I add unikernels to the repository (or update them), I indeed apply the old build instructions (to copy & strip & retain as .debug), and also the old synopsis (or write an appropriate one -…

hannes commented on pull request robur/blog.robur.coop#2

2024-10-01 09:39:31 +00:00

Upgrade to the unreleased version of YOCaml 2

Interesting, I always thought we need to specify the author.. and would be fine if we have to ;)

hannes commented on pull request robur/blog.robur.coop#2

2024-10-01 08:50:16 +00:00

Upgrade to the unreleased version of YOCaml 2

I'm as well fine to have the host included tbh, and it seems like it'll be less work when updating yocaml again ;)

hannes commented on pull request robur/blog.robur.coop#2

2024-10-01 07:06:13 +00:00

Upgrade to the unreleased version of YOCaml 2

I think this is fine, I haven't looked into the details. There's only one thing I stumbled upon: now we pass --host=https://blog.robur.coop around, which as far as I can see is used for the…

hannes pushed to main at robur/unikernel-repo

2024-09-27 09:19:54 +00:00

3514c169fd bump builder-web version

hannes created pull request robur/builder-web#3

2024-09-24 11:46:30 +00:00

output SHA256 sum without spaces

hannes created branch style in robur/builder-web

2024-09-24 11:45:09 +00:00

hannes pushed to style at robur/builder-web

2024-09-24 11:45:09 +00:00

cd1b2a0b26 output SHA256 sum without spaces

hannes pushed to main at robur/unikernel-repo

2024-09-13 16:36:27 +00:00

5bd0c6f2e7 upgrade orb version number (now that 1.0 is released)

hannes pushed to main at robur/unikernel-repo

2024-09-12 15:58:36 +00:00

b6a410b2a8 caldav: update from upstream

hannes pushed to main at robur/unikernel-repo

2024-09-11 21:18:43 +00:00

d7610c4c9f mollymawk is mirage 4.7.0 now

hannes pushed to main at robur/unikernel-repo

2024-09-11 20:34:09 +00:00

3c15aec70c dns-stub: update to mirage 4.7.0

71245903f9 unipi: mirage 4.7

7e4da81600 tlstunnel: mirage 4.7

b9cddd5bdc dnsvizor: mirage 4.7

5ce9ae54e3 dns-secondary: mirage 4.7

Compare 11 commits »

hannes pushed to main at robur/unikernel-repo

2024-09-11 18:33:56 +00:00

d3d6b0279d update utcp from upstream

hannes pushed to main at robur/unikernel-repo

2024-09-11 11:15:12 +00:00

26d7a22be8 mollymawk: update mirage bounds

hannes pushed to main at robur/unikernel-repo

2024-09-05 17:06:57 +00:00

0737f4ec38 update builder, builder-web, albatross

hannes commented on pull request robur/builder-web#1

2024-09-05 15:02:59 +00:00

remove usage of cstruct, require mirage-crypto 1.0.0

CI run at https://github.com/robur-coop/builder-web/runs/29735284723 looks promising. IMHO good to merge. And maybe we should cut a release to opam-repository?

hannes pushed to no-cstruct at robur/builder-web

2024-09-05 15:02:20 +00:00

6d50b4bff4 remove superfluous mirage-crypto dependency

0f68776819 update builder depedency

Compare 2 commits »

hannes pushed to no-cstruct at robur/builder-web

2024-09-05 14:58:28 +00:00

598f8230bd update caqti constraint

hannes commented on pull request robur/builder-web#1

2024-09-04 16:05:10 +00:00

remove usage of cstruct, require mirage-crypto 1.0.0

FWIW caqti is released https://github.com/ocaml/opam-repository/pull/26479

hannes pushed to no-cstruct at robur/builder-web

2024-09-02 14:38:12 +00:00

ca0214c606 minor (grep -i cstruct)