-
Notifications
You must be signed in to change notification settings - Fork 177
Firedrake meeting 2025 03 19
Connor Ward edited this page Mar 17, 2025
·
12 revisions
Date and time 2025-03-19 1600 UTC
- Pick Chair and Minuter (JHC 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:
https://github.com/firedrakeproject/firedrake/pull/4104
Seems to work fairly well. I have tested with a number of downstream packages.
https://github.com/firedrakeproject/firedrake/pull/4086
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: #4083
1600 UTC 2025-03-26??? (TBD, many core developers will be away)