Simplify branches with true or false conditions#379

Open

github-actions[bot] wants to merge 8 commits intomainfrom issue-102-Simplify_branches_with_true_or_false_conditions

+126-1

Commits on Jan 17, 2024

Create draft PR for #102
github-actions[bot]
authored

Commits on Jan 29, 2024

Commits on Jan 30, 2024

Merge branch 'main' into issue-102-Simplify_branches_with_true_or_false_conditions
fnhartmann
authored