Skip to content

Bugfixing before 0.1b5 release#193

Merged
lucaneg merged 4 commits intomasterfrom
release-bugfixing
Feb 21, 2022
Merged

Bugfixing before 0.1b5 release#193
lucaneg merged 4 commits intomasterfrom
release-bugfixing

Conversation

@lucaneg
Copy link
Member

@lucaneg lucaneg commented Feb 21, 2022

Description
Closes #187
Closes #188
Closes #189

@lucaneg lucaneg added 🐛 type:bug Something isn't working 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🏛 scope:program-structure Work regarding the program structure labels Feb 21, 2022
@lucaneg lucaneg added this to the 0.1b5 milestone Feb 21, 2022
@lucaneg lucaneg self-assigned this Feb 21, 2022
@lucaneg lucaneg added the 🏗 resolution:wip Incomplete work - do not review yet label Feb 21, 2022
@github-actions
Copy link

Unit Test Results

  36 files    36 suites   22s ⏱️
209 tests 209 ✔️ 0 💤 0 ❌

Results for commit d1743ee.

@lucaneg lucaneg removed the 🏗 resolution:wip Incomplete work - do not review yet label Feb 21, 2022
@github-actions

This comment has been minimized.

@lucaneg lucaneg merged commit dfbfab5 into master Feb 21, 2022
@lucaneg lucaneg deleted the release-bugfixing branch February 21, 2022 16:11
@github-actions
Copy link

All Test Results (unit + cron)

  46 files  +1    46 suites  +1   28s ⏱️ -10s
231 tests +2  231 ✔️ +2  0 💤 ±0  0 ❌ ±0 

Results for commit dfbfab5. ± Comparison against base commit 8d9096e.

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:program-structure Work regarding the program structure 🐛 type:bug Something isn't working

Projects

None yet

1 participant