Johan Forsberg commented on merge request !4 at Johan Forsberg / Boogie

Johan Forsberg
2026-03-17T14:48:04Z

Thanks for the explanation. It think this looks OK, but you may want to merge main first because I think/hope I've fixed the tests.

What do you think about building only when the repo is "tagged"? I haven't been doing that so far but I should probably start, now that boogie is reasonably stable. And I'd like to create pypi packages on tagging anyway.