Skip to content

Firedrake meeting 2026 07 21

Leo Collins edited this page Jul 15, 2026 · 16 revisions

Date and time 2026-07-21 1600 UTC+1

Action Items

  1. Pick Chair and Minuter (LC 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: Talk to GregVernon about PR#2116.
  6. JHC: New manual release

Agenda

Present: Lc, IM, AC, CW, DH, PB, NW, JHC

Apologies:

Team catch up (if time)

Merge PRs

Date of next meeting

1600 UTC+0100 2026-07-28

Clone this wiki locally