Skip to content
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.

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

Release roundup #314

Merged
merged 5 commits into from
Aug 1, 2024
Merged

Release roundup #314

merged 5 commits into from
Aug 1, 2024

Conversation

lucaneg
Copy link
Member

@lucaneg lucaneg commented Aug 1, 2024

Description
Last bugfixes before release 0.1.

Fixed bugs
Closes #300
Closes #313

@lucaneg lucaneg added 🐛 type:bug Something isn't working 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA labels Aug 1, 2024
@lucaneg lucaneg added this to the 0.1 milestone Aug 1, 2024
@lucaneg lucaneg self-assigned this Aug 1, 2024
@lucaneg lucaneg added 🏗 resolution:wip Incomplete work - do not review yet and removed 🏗 resolution:wip Incomplete work - do not review yet labels Aug 1, 2024
@lucaneg lucaneg merged commit f478a08 into master Aug 1, 2024
4 checks passed
@lucaneg lucaneg deleted the release-roundup branch August 1, 2024 13:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🏨 scope:infrastructure Work regarding the general infrastructure and functioning of LiSA 🐛 type:bug Something isn't working
Projects
Archived in project
1 participant