Firedrake meeting 2025 12 16

Date and time 2025-12-16 1600 UTC+1

Action Items

1. Pick Chair and Minuter (PB 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. CW: More testing configurations (minutes)

Minutes

Present:

Apologies:

Merge PRs

• CW: https://github.com/firedrakeproject/firedrake/pull/4762
• CW: https://github.com/firedrakeproject/firedrake/pull/4754
• CW: https://github.com/firedrakeproject/firedrake/pull/4758
• CW: https://github.com/firedrakeproject/firedrake/pull/4780
• LC: https://github.com/firedrakeproject/firedrake/pull/4779
• LC: https://github.com/firedrakeproject/firedrake/pull/4763

Date of next meeting

1600 UTC 2026-01-06