Skip to content

require mirage-block 3.0.0, drop io-page-unix#163

Merged
robhoes merged 2 commits into
xapi-project:masterfrom
psafont:update
Sep 29, 2022
Merged

require mirage-block 3.0.0, drop io-page-unix#163
robhoes merged 2 commits into
xapi-project:masterfrom
psafont:update

Conversation

@psafont
Copy link
Copy Markdown
Member

@psafont psafont commented Sep 15, 2022

Now the dune dependencies are more explicit

fixes #161

@edwintorok
Copy link
Copy Markdown
Member

edwintorok commented Sep 15, 2022

There is no 2.4.0 version yet, is our xs-opam out of date or do you need to point it to your xs-opam PR that updates the deps?

@psafont
Copy link
Copy Markdown
Member Author

psafont commented Sep 16, 2022

ah, it points to our xs-opam!!

I made the change relying on the standard opam repo, I'll change the CI, I don't think it makes sense to use xs-opam here

@coveralls
Copy link
Copy Markdown

coveralls commented Sep 16, 2022

Coverage Status

Coverage remained the same at 65.027% when pulling 06f6c4f on psafont:update into 41f9e67 on xapi-project:master.

Now the dune dependencies are more explicit

Signed-off-by: Pau Ruiz Safont <pau.safont@citrix.com>
Also uses the latest setup-ocaml version for succinctness

Signed-off-by: Pau Ruiz Safont <pau.safont@citrix.com>
@robhoes robhoes merged commit aa1bfc5 into xapi-project:master Sep 29, 2022
@psafont psafont deleted the update branch September 29, 2022 13:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

io-page-unix deprecation

5 participants