Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merge upstream #48

Merged
merged 8 commits into from
Nov 30, 2023
Merged

Merge upstream #48

merged 8 commits into from
Nov 30, 2023

Conversation

JHopeCollins
Copy link

No description provided.

mscroggs and others added 8 commits November 13, 2023 15:19
* move README.rst to README.md

* move changelog to md

* update styling

* indentation?
* use tsfc master on CI

* another branch name
* Expunge Expr.ufl_domain()

* Remove failing assertion

* Action: get ufl_domains() from operands
* Add trimmed serendipity

* Fix value shape for trimmed serendipity

* ufl plumbing update for trimmed serendipity.

* Plumbing for SminusDiv.py

* Adding in element stuff for SminusCurl.

* Fix typo

* remove spurioius names

* Update equality inheritance for Cofunctions

---------

Co-authored-by: Rob Kirby <[email protected]>
Co-authored-by: Justincrum <[email protected]>
Co-authored-by: David A. Ham <[email protected]>
Co-authored-by: ksagiyam <[email protected]>
Co-authored-by: ksagiyam <[email protected]>
Co-authored-by: Connor Ward <[email protected]>
Co-authored-by: Iglesia Dolci <[email protected]>
Co-authored-by: Jack Betteridge <[email protected]>
Copy link

@pbrubeck pbrubeck left a comment

Choose a reason for hiding this comment

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

Looks good to me.

@pbrubeck pbrubeck self-requested a review November 30, 2023 14:58
Copy link

@pbrubeck pbrubeck left a comment

Choose a reason for hiding this comment

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

Approve

@JHopeCollins JHopeCollins merged commit 054b061 into master Nov 30, 2023
8 checks passed
@connorjward connorjward deleted the JHopeCollins/upstream-update branch December 6, 2023 10:48
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.

6 participants