Skip to content

DO NOT MERGE#3938

Closed
ksagiyam wants to merge 3 commits intomasterfrom
ksagiyam/merge_upstream
Closed

DO NOT MERGE#3938
ksagiyam wants to merge 3 commits intomasterfrom
ksagiyam/merge_upstream

Conversation

@ksagiyam
Copy link
Contributor

No description provided.

@github-actions
Copy link

github-actions bot commented Dec 18, 2024

TestsPassed ✅Skipped ⏭️Failed ❌
Firedrake real8143 ran7468 passed675 skipped0 failed

@github-actions
Copy link

github-actions bot commented Dec 18, 2024

TestsPassed ✅Skipped ⏭️Failed ❌
Firedrake complex8137 ran6663 passed1474 skipped0 failed

@ksagiyam ksagiyam closed this Dec 19, 2024
@ksagiyam ksagiyam deleted the ksagiyam/merge_upstream branch May 22, 2025 12:40
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