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

remove demos with trace elements #747

Merged

mscroggs merged 1 commit into main from mscroggs/remove-broken-demos

Feb 15, 2025

Member

mscroggs commented Feb 14, 2025

Remove demos currently being skipped that include trace elements, as we have no plans to implement these in the same as legacy FEniCS


          remove demos with trace elements

ec93e0f

mscroggs requested review from garth-wells and jpdean

February 14, 2025 16:52

coveralls commented Feb 14, 2025

coverage: 82.235%. remained the same
when pulling ec93e0f on mscroggs/remove-broken-demos
into 985bc51 on main.

garth-wells approved these changes

View reviewed changes

mscroggs added this pull request to the merge queue

Merged via the queue into main with commit c6aa5cb

15 checks passed

mscroggs deleted the mscroggs/remove-broken-demos branch

February 15, 2025 16:45

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

Labels

None yet