Skip to content

Conversation

@JHopeCollins
Copy link
Member

Completes #3895

@JHopeCollins JHopeCollins self-assigned this Nov 28, 2024
@github-actions
Copy link

github-actions bot commented Nov 28, 2024

TestsPassed ✅Skipped ⏭️Failed ❌
Firedrake real8115 ran7329 passed786 skipped0 failed

@github-actions
Copy link

github-actions bot commented Nov 28, 2024

TestsPassed ✅Skipped ⏭️Failed ❌
Firedrake complex8109 ran6524 passed1585 skipped0 failed

@JHopeCollins JHopeCollins merged commit 2be9fb2 into master Nov 29, 2024
18 checks passed
@JHopeCollins JHopeCollins deleted the JHopeCollins/vector_vector_sub2 branch November 29, 2024 14:20
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.

3 participants