Firedrake meeting 2025 03 26

Date and time 2025-03-26 1400 UTC

Action Items

1. Pick Chair and Minuter (LC not here, someone else 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: Get Firedrake a docker open source account (link here)
6. DH: Talk to GregVernon about PR#2116.
7. JB: Enable merge queues (minutes)
8. LC: Try to merge RNH' PR: Movable VOM
9. PB: Profile and speed up some tests (minutes, minutes)
10. CW: More testing configurations (minutes)

Agenda

Present:

Apologies: LC, CW (maybe)

CW: What happens to Zenodo when we move to releases?

• git information not available for packages, instead we have version numbers
• if someone is using a version of Firedrake then we already have a GitHub release that they are using
• The simplest case is to gather the various GitHub releases together and put them in a Zenodo release
  • If so might not need our own forks of PETSc etc
• What if someone is working from a branch? Do they have to make their own release?

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.

• CW: #4138

Date of next meeting

1600 UTC 2025-04-02