Skip to content

Conversation

@Joao-Dionisio
Copy link
Member

Fix #1120

@Joao-Dionisio Joao-Dionisio enabled auto-merge (squash) January 5, 2026 10:45
@Joao-Dionisio Joao-Dionisio disabled auto-merge January 5, 2026 10:51
@Joao-Dionisio Joao-Dionisio merged commit b5e565e into master Jan 5, 2026
3 checks passed
@Joao-Dionisio Joao-Dionisio deleted the fix-iisfinder-result branch January 14, 2026 20:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

generateIIS() must return an IIS, even with setParam("iis/irreducibility", False)

2 participants