Firedrake meeting 2025 07 30 - firedrakeproject/firedrake GitHub Wiki

Date and time 2025-07-30 1600 UTC

Action Items

  1. Pick Chair and Minuter (CW to pick)
  2. ALL: (ongoing) triage the open issues and confirm if they are indeed still open (and perhaps provide labels)
  3. ALL: do things with SV's branches
  4. DH: Email to Andreas to have 2 (+ others!!!) loopy PRs merged TODO: FIND OUT WHICH PRS THESE ARE
  5. DH: Talk to GregVernon about PR#2116.
  6. JB: Enable merge queues (minutes)
  7. LC: Try to merge RNH' PR: Movable VOM
  8. PB: Profile and speed up some tests (minutes, minutes)
  9. CW: More testing configurations (minutes)
  10. All: Do post merge works (abstract reduced functionals, etc.)

Agenda

Present:

Apologies:

Merge PRs

Note that PRs put in this section should either be trivial or already have been reviewed. Discussion-worthy PRs should be separate agenda items.

Date of next meeting

1600 UTC 2025-08-06