Skip to content

Minor CI fixes#527

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

Minor CI fixes#527
pancetta merged 2 commits intoParallel-in-Time:masterfrom
brownbaerchen:firedrake_CI_update

Commits

Commits on Feb 4, 2025