Firedrake meeting 2025 02 19

Date and time 2025-02-19 1600 UTC

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: 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:

CW: pip... install... FIREDRAKE!!!

#4011

I am looking for beta testers and would like to merge this next week.

Outstanding questions:

• firedrake-zenodo will not work until we have version numbers: installing packages in non-editable mode discards git information which firedrake-zenodo relies on.
• Similarly make check also will not work without an editable install. Do we mention it on the website still?

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-02-19 ???