Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update to ocaml-solo5-elftool 0.4.0 #207

Merged
merged 4 commits into from
Feb 5, 2025
Merged

Update to ocaml-solo5-elftool 0.4.0 #207

merged 4 commits into from
Feb 5, 2025

Conversation

reynir
Copy link
Contributor

@reynir reynir commented Feb 4, 2025

This is pending ocaml/opam-repository#27370

albatross.opam Show resolved Hide resolved
@hannesm
Copy link
Collaborator

hannesm commented Feb 5, 2025

change looks fine, the FreeBSD CI will continue to fail since it uses the opam.ocaml.org repository, and the sync from the git repo to the webserver takes ages.

if the other CI systems are fine (the nix one fails all the time, we can ignore it), we can merge.

@reynir
Copy link
Contributor Author

reynir commented Feb 5, 2025

Hmm cachet requires ocaml>=4.14.0.

@hannesm
Copy link
Collaborator

hannesm commented Feb 5, 2025

Hmm cachet requires ocaml>=4.14.0.

yes, as mentioned on matrix. I think that's fine.

@reynir reynir merged commit 7a0d351 into main Feb 5, 2025
8 of 13 checks passed
@reynir reynir deleted the solo5-elftool.0.4.0 branch February 5, 2025 11:21
hannesm added a commit to hannesm/opam-repository that referenced this pull request Feb 5, 2025
CHANGES:

* albatross-daemon: on startup backup the state file (robur-coop/albatross#206 @hannesm, fixes robur-coop/albatross#203)
* Add block size to info command, adapt types slightly (robur-coop/albatross#195 @hannesm)
* Allow the arguments in restart to be changed (robur-coop/albatross#195 @hannesm)
* Update to ocaml-solo5-elftool 0.4.0 - bump OCaml lower bound to 4.14
  (robur-coop/albatross#207 @reynir, robur-coop/albatross#208)
* BUGFIX: restart command kills the unikernel first (robur-coop/albatross#205 @reynir)
* Print manifest on mismatch (robur-coop/albatross#196 @reynir)
* Albatross-console: use physical equality for file descriptors (robur-coop/albatross#200 @reynir)
* Albatross-console: allow multiple subscribers (robur-coop/albatross#194 @reynir)
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

2 participants