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

Nicholas Bruce
2026-02-10T04:07:29Z

Note that the failing pipeline is due to an unrelated pytest error that was happening in the code before this MR.