Skip to content

Fix simplify flag handling in cfold#963

Merged
strub merged 1 commit intomainfrom
fix-cfold-simplify
Mar 30, 2026
Merged

Fix simplify flag handling in cfold#963
strub merged 1 commit intomainfrom
fix-cfold-simplify

Conversation

@strub
Copy link
Copy Markdown
Member

@strub strub commented Mar 30, 2026

No description provided.

@strub strub requested a review from Gustavo2622 March 30, 2026 11:23
@strub strub self-assigned this Mar 30, 2026
@strub strub added the bug label Mar 30, 2026
@strub strub enabled auto-merge March 30, 2026 11:24
@strub strub added this pull request to the merge queue Mar 30, 2026
Merged via the queue into main with commit 7d9a0f5 Mar 30, 2026
16 checks passed
@strub strub deleted the fix-cfold-simplify branch March 30, 2026 12:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants