Move Firedrake code from ngsPETSc into Firedrake#4782

Merged

connorjward merged 9 commits intomainfrom

connorjward/eat-ngspetsc

Jan 8, 2026

Commits on Dec 18, 2025

Commits on Jan 6, 2026

Commits on Jan 7, 2026

Merge remote-tracking branch 'origin/main' into connorjward/eat-ngspetsc
connorjward
committed

Commits on Jan 8, 2026

Remove branch pointer, ready for merge
connorjward
committed