-
Notifications
You must be signed in to change notification settings - Fork 177
Firedrake meeting 2025 02 19
Pablo Brubeck edited this page Feb 19, 2025
·
7 revisions
Date and time 2025-02-19 1600 UTC
- Pick Chair and Minuter (PB to pick?)
- ALL: (ongoing) triage the open issues and confirm if they are indeed still open (and perhaps provide labels)
- ALL: do things with SV's branches
- DH: Email to Andreas to have 2 (+ others!!!) loopy PRs merged TODO: FIND OUT WHICH PRS THESE ARE
- DH: Get Firedrake a docker open source account (link here)
- DH: Talk to GregVernon about PR#2116.
- JB: Enable merge queues (minutes)
- LC: Try to merge RNH' PR: Movable VOM
- PB: Profile and speed up some tests (minutes, minutes)
- CW: More testing configurations (minutes)
Present:
Apologies:
I am looking for beta testers and would like to merge this next week. I can do an announcement to users on Slack after the meeting. They need to know in advance because there are some breaking changes they have to be aware of (e.g. OpenMPI not MPICH in the containers).
Outstanding questions:
-
firedrake-zenodowill not work until we have version numbers: installing packages in non-editable mode discards git information whichfiredrake-zenodorelies on. - Similarly
make checkalso will not work without an editable install. Do we mention it on the website still?
Note that PRs put in this section should either be trivial or already have been reviewed. Discussion-worthy PRs should be separate agenda items.
1600 UTC 2025-02-19 ???