dev meeting 20220203

Present at the meeting:

• Marek Kubica (@Leonidas-from-XIV)
• Nathan Rebours (@NathanReb)

Current plan

• Marek and Nathan write a spec for the opam-overlays CI
• Nathan finishes the repo list based solver
• Nathan finishes to rebase the Tezos opam-monorepo branch
• Marek adds tests for the Hybrid mode and improved error messages PRs

Meeting notes

Marek worked on the opam-overlays CI linter to make the output more readable. It now properly displays all errors. Besides that he spent some time reviewing all of Nathan PRs extensively.

We talked about the next steps for opam-overlays CI. We'd like to have an occurrent based, opam-repository-like CI. We need to write down a spec for it but basically we'd like it to exercise the builds and make sure the API is identical. We have a few ideas on how to do this iteratively.

Nathan worked on tezos a bit. He started rebasing the branch with the opam-monorepo port as it was based on a fairly old version of master now. Some dependencies have been updated and therefore some ports need to be rebased accordingly. He also opened an issue to get a release of lwt-watcher which last and only version isn't compatible with vendoring while the master branch of the project is. Other than that, Nathan focused on the repo list based solver, improving the testing it allows and fixing bugs in it and addressing review comments. It is now merged, which is great news since it now allows us to test the solver's behaviour!