Closed jlchan closed 1 month 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
.Created with :heart: by the Trixi.jl community.
To avoid Codecov issues related to https://github.com/trixi-framework/Trixi.jl/pull/1930#issuecomment-2098606566