Skip to content

Minor CI fixes#527

Merged
pancetta merged 2 commits intoParallel-in-Time:masterfrom brownbaerchen:firedrake_CI_updateFeb 4, 2025

Commits

Commits on Feb 4, 2025