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.

Sign up for GitHub

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

Jump to bottom

Package why3find.1.1.1 #27241

Open

btjorge wants to merge 1 commit into ocaml:master from btjorge:opam-publish-why3find.1.1.1

+50 −0

Contributor

btjorge commented Jan 10, 2025

`why3find.1.1.1`

A Why3 Package Manager
The why3find utility is designed for managing packages for why3 developpers and associated OCaml extracted code.

Homepage: https://git.frama-c.com/pub/why3find
Source repo: git+https://git.frama-c.com/pub/why3find.git
Bug tracker: https://git.frama-c.com/pub/why3find/issues

🐫 Pull-request generated by opam-publish v2.5.0


          Package why3find.1.1.1

92245f1

Contributor

shonfeder commented Jan 12, 2025

Thanks for publishing the update!

Are the test failures of concern?

https://opam.ci.ocaml.org/github/ocaml/opam-repository/commit/92245f1827718d6b25bf5fc9b367c5e9e4a24338

shonfeder added the needs reporter action label

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

needs reporter action