Skip to content

Proposal: use upstream UFL instead of the Firedrake fork#147

Merged
connorjward merged 1 commit into
masterfrom
connorjward/upstream-ufl
Jun 12, 2025
Merged

Proposal: use upstream UFL instead of the Firedrake fork#147
connorjward merged 1 commit into
masterfrom
connorjward/upstream-ufl

Conversation

@connorjward

Copy link
Copy Markdown

@connorjward

Copy link
Copy Markdown
Author

Merging this as it was verbally approved in yesterday's meeting.

@connorjward connorjward merged commit 5581c4e into master Jun 12, 2025
8 checks passed
@connorjward connorjward deleted the connorjward/upstream-ufl branch June 12, 2025 09:29
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.

1 participant