Skip to content

Merge pull request #58 from firedrakeproject/pbrubeck/merge-upstream #1114

Merge pull request #58 from firedrakeproject/pbrubeck/merge-upstream

Merge pull request #58 from firedrakeproject/pbrubeck/merge-upstream #1114

Annotations

1 warning

build (ubuntu-latest, 3.10)

succeeded Jan 21, 2025 in 49s