Reynir Björnsson

reynir pushed to main at reynir/blog.robur.coop

2024-10-04 10:48:36 +00:00

9b38bbc751 Pushed by YOCaml 2

reynir created repository reynir/blog.robur.coop

2024-10-04 10:48:04 +00:00

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

2024-10-04 10:41:50 +00:00

Upgrade to the unreleased version of YOCaml 2

This requires a version of dune more recent than at least 3.14.2 as otherwise it requires a (modules watch) stanza. Should we update dune-project and blogger.opam with dune 3.16.0?

reynir deleted branch mirage.4.6.0 from robur/opam-mirror

2024-10-04 09:37:19 +00:00

reynir created pull request robur/opam-mirror#2

2024-10-03 16:15:07 +00:00

Remove unnecessary complexity

reynir created branch opam-checksums in robur/opam-mirror

2024-10-03 16:12:14 +00:00

reynir pushed to opam-checksums at robur/opam-mirror

2024-10-03 16:12:14 +00:00

02f9c2f9c7 Remove unnecessary complexity

reynir commented on pull request robur/opam-mirror#1

2024-10-03 16:07:32 +00:00

Upgrade opam-mirror

Thanks!

reynir pushed to main at robur/opam-mirror

2024-10-03 13:42:15 +00:00

a99f7f65a3 Merge pull request 'Upgrade opam-mirror' (#1) from with-new-tar into main

6490801ce1 Update dependencies, refactor

1b1414c5ca Fix the compilation of the unikernel with the last version of ocaml-tar

8fc8f1c62d Update the unikernel with the new version of tar

c2ffbdb891 Update to mirage.4.6.0

Compare 5 commits »

reynir deleted branch with-new-tar from robur/opam-mirror

2024-10-03 13:42:15 +00:00

reynir merged pull request robur/opam-mirror#1

2024-10-03 13:42:13 +00:00

Upgrade opam-mirror

reynir commented on pull request robur/opam-mirror#1

2024-10-03 12:57:58 +00:00

Upgrade opam-mirror

I pushed a commit that updates to tar.3.0.0 (only a config.ml change) and digestif, and refactors it a bit.

I also fixed a "bug" which I now learnt was not really a bug since opam seems to only…

reynir pushed to with-new-tar at robur/opam-mirror

2024-10-03 12:55:13 +00:00

6490801ce1 Update dependencies, refactor

reynir pushed to main at robur/webauthn

2024-10-02 13:40:06 +00:00

ea5fc357da Merge pull request #5 from robur-coop/rc-script

ded3830ec6 Pretty printing of certificate exts (#6)

1e79dea71a Refactor rc script

ead3b41dff Add FreeBSD rc script for running the demo

317ab54220 Prepare release 0.2.0

Compare 8 commits »

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

2024-10-01 17:27:58 +00:00

Upgrade to the unreleased version of YOCaml 2

Sorry I meant to temporarily remove the tags from the output. I definitely think we should keep the tags as meta data. I'm just not sure it's useful to see on the page a list of tags you can't…

reynir created pull request robur/unikernel-repo#3

2024-10-01 11:37:35 +00:00

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

reynir created branch miragevpn-qubes in robur/unikernel-repo

2024-10-01 11:36:09 +00:00

reynir pushed to miragevpn-qubes at robur/unikernel-repo

2024-10-01 11:36:09 +00:00

0de78e26f1 Import qubes-miragevpn-xen.opam as-is

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

2024-10-01 10:53:16 +00:00

Upgrade to the unreleased version of YOCaml 2

Ok, that's fine by me. Should we (temporarily) remove the tags then? Or wdyt?

reynir pushed to main at robur/unikernel-repo

2024-10-01 10:03:55 +00:00

f3db75fe14 Update miragevpn.opam