Skip to content

Firedrake meeting 2025 10 14

Connor Ward edited this page Oct 14, 2025 · 8 revisions

Date and time 2025-10-14 1600 UTC+1

Action Items

  1. Pick Chair and Minuter (CW 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. LC: Try to merge RNH' PR: Movable VOM
  7. CW: More testing configurations (minutes)
  8. ~All: Go through issues and mark with "good first issue" for new MSc/PhD contributor projects.

Agenda

Present:

Apologies:

CW: Understanding the full firedrake container

Who uses it? What do we do when downstream packages have main and release branches?

Related: https://github.com/firedrakeproject/firedrake/pull/4640

Merge PRs

Date of next meeting

1600 UTC 2025-10-21

Clone this wiki locally