Skip to content

Merge remote-tracking branch 'origin/release' into JHopeCollins/fired…

1203744
Select commit
Loading
Failed to load commit list.
Open

firedrake-configure options for Ubuntu 2026.04 #5085

Merge remote-tracking branch 'origin/release' into JHopeCollins/fired…
1203744
Select commit
Loading
Failed to load commit list.