-
Notifications
You must be signed in to change notification settings - Fork 177
Firedrake meeting 2025 12 16
Pablo Brubeck edited this page Dec 9, 2025
·
2 revisions
Date and time 2025-12-16 1600 UTC+1
- 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: Talk to GregVernon about PR#2116.
- CW: More testing configurations (minutes)
Present:
Apologies:
1600 UTC 2026-01-06