Skip to content

Merge changes from main into future#700

Merged
tommbendall merged 18 commits intofuturefrom
main
Jan 10, 2026
Merged

Merge changes from main into future#700
tommbendall merged 18 commits intofuturefrom
main

Conversation

@tommbendall
Copy link
Contributor

Lots of things have moved on on main since the last Firedrake release -- I think it's a good idea to pick these up in future ASAP.

future also will have been broken by recent changes to netcdf, so this should fix that.

connorjward and others added 17 commits November 19, 2025 09:05
Co-authored-by: Thomas Bendall <thomas.bendall@metoffice.gov.uk>
Co-authored-by: Thomas Bendall <thomas.bendall@metoffice.gov.uk>
Co-authored-by: Thomas Bendall <thomas.bendall@metoffice.gov.uk>
Co-authored-by: Thomas Bendall <thomas.bendall@metoffice.gov.uk>
Co-authored-by: Dr Jemma Shipton <j.shipton@exeter.ac.uk>
Co-authored-by: Dr Jemma Shipton <j.shipton@exeter.ac.uk>
Co-authored-by: atb1995 <alex.brown@metoffice.gov.uk>
Co-authored-by: Tom Bendall <thomas.bendall@metoffice.gov.uk>
Co-authored-by: Alex Brown <81297297+atb1995@users.noreply.github.com>
Co-authored-by: Thomas Bendall <14180399+tommbendall@users.noreply.github.com>
Co-authored-by: Dr Jemma Shipton <j.shipton@exeter.ac.uk>
@connorjward
Copy link
Contributor

Nice. I'm sure you wouldn't anyway but it's really important to not squash these commits when you merge them.

@tommbendall tommbendall merged commit 9d06d18 into future Jan 10, 2026
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

7 participants