Skip to content

Firedrake meeting 2025 11 25

Pablo Brubeck edited this page Nov 25, 2025 · 2 revisions

Date and time 2025-11-25 1600 UTC+1

IMPORTANT: this is possibly a strike day at Imperial

Action Items

  1. Pick Chair and Minuter (CW to pick)
  2. ALL: do things with SV's branches
  3. DH: Talk to GregVernon about PR#2116.
  4. CW: More testing configurations (minutes)

Agenda

Present:

Apologies: PB

Merge PRs

Date of next meeting

1600 UTC 2025-12-02

Clone this wiki locally