Closed cedoor closed 1 month ago
@sripwoud should we publish the smt crate?
@sripwoud should we publish the smt crate?
The ci published the crate it already
It is the github release that fails
I tried to debug it yesterday. Then I found out it was an upstream issue with the release-plz github action (fixed 7hrs ago) Should be fixed once we use the next version
Description
Updates the list of packages and some links in the README file.
Checklist
yarn format
andyarn compile
without getting any errors