Skip to content

Import OptionsManager from petsctools#194

Merged
ddundo merged 1 commit intomainfrom
use_petsctools
Jun 27, 2025
Merged

Import OptionsManager from petsctools#194
ddundo merged 1 commit intomainfrom
use_petsctools

Conversation

@ddundo
Copy link
Member

@ddundo ddundo commented Jun 22, 2025

@ddundo ddundo self-assigned this Jun 22, 2025
@ddundo ddundo added the bug Something isn't working label Jun 22, 2025
@ddundo ddundo requested a review from joewallwork June 22, 2025 18:54
@stephankramer
Copy link
Collaborator

For more explanation: firedrakeproject/firedrake#4194

Copy link
Collaborator

@stephankramer stephankramer left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @ddundo

@ddundo ddundo merged commit ec4073b into main Jun 27, 2025
1 check passed
@ddundo ddundo deleted the use_petsctools branch June 28, 2025 18:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants