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.

Sign up for GitHub

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

Jump to bottom

DO NOT MERGE #3891

Closed

pbrubeck wants to merge 1 commit into master from pbrubeck/fix/literal

+2 −0

Contributor

pbrubeck commented Nov 27, 2024

Description


          DO NOT MERGE

073e780

github-actions bot commented Nov 27, 2024 •

edited

Loading

	Tests	Passed ✅	Skipped ⏭️	Failed ❌
Firedrake complex	8109 ran	6524 passed	1585 skipped	0 failed

github-actions bot commented Nov 27, 2024 •

edited

Loading

	Tests	Passed ✅	Skipped ⏭️	Failed ❌
Firedrake real	8115 ran	7329 passed	786 skipped	0 failed

connorjward closed this

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet