Closed efaulhaber closed 3 weeks ago
This checklist is meant to assist creators of PRs (to let them know what reviewers will typically look for) and reviewers (to guide them in a structured review process). Items do not need to be checked explicitly for a PR to be eligible for merging.
NEWS.md
with its PR number.Created with :heart: by the Trixi.jl community.
All tests are passing, only the usual Codecov fails.
Based on https://github.com/trixi-framework/TrixiBase.jl/pull/25.