-
Notifications
You must be signed in to change notification settings - Fork 177
Firedrake meeting 2025 04 23
Josh Hope-Collins edited this page Apr 23, 2025
·
9 revisions
Date and time 2025-04-23 1600 UTC
- Pick Chair and Minuter (CW 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:
#4193 is ready for review.
- Predominantly updates to workflow files.
- Roll docs build into standard workflow to allow different "main" and "release" website pages with appropriate content/warnings.
- Don't allow any merges into release with
TODOcomments. - Dev install is now slightly more involved, but makes sure we use the
petsc4pyfrom the local PETSc repo, not pypi.
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: petsctools
- JHC: apt packages
- PB: FacetSplitPC
1600 UTC 2025-04-23