Organisationsmiragemirage-skeletonbranch/devBuild History

Build History for branch/dev

Builds (18)
fix with charrua 1.6.0 release (#406) * fix with charrua 1.6.0 release * autoformat
c2c98b
move runtime arguments out of config.ml (#405) * move runtime arguments out of config.ml * autoformat * http: fix build * README: update lower mirage bound * http: do alpn parsing earlier * fix compilation * fix * another fix * autoformat --------- Co-authored-by: Reynir Björnsson <reynir@reynir.dk>
fe66d9
Merge pull request #403 from hannesm/adjust-params adjust unikernels
41812e
Merge pull request #402 from mirage/fix-application-http Upgrade h2 to 0.13.0 and change a bit the API from it
ffb5d9
update bounds
a5a8b0
http/git/dns adapt to happy-eyeballs changes (#398) * http adapt to happy-eyeballs changes * git: adapt to happy eyeballs changes * dns: adapt to happy-eyeballs changes
8a85fb
Merge pull request #396 from hannesm/use-ethif use ethif instead of deprecated etif
713887
exclude docteur for a moment from the build
c95c00
Merge pull request #395 from hannesm/add-bounds Add Mirage bounds in config.ml (since mirage 4.4.1, mirage/mirage#1466)
493360
Merge pull request #393 from hannesm/fix-dhcp-result dhcp: handle return value from N.listen
769b82
Merge pull request #389 from samoht/newlines Remove extra newlines
ff5feb
Merge pull request #387 from samoht/one-package Adapt to upstream changes
8a14b5
Merge pull request #382 from mirage/runtime-keys Update to the new runtime key API
0e0d14
Merge pull request #386 from samoht/no-foreign Use `main` instead of `foreign`
60ad2c
Merge pull request #385 from samoht/code Adapt to API changes for Device.connect
cb7468
Merge pull request #384 from samoht/runtime_args Rename Mirage_key to Mirage_arg
189ae7
Merge pull request #383 from samoht/fmt Update .ocamlformat
634e48
Merge pull request #374 from samoht/runtime-keys-at-runtime Move runtime keys to runtime modules
324212