Skip to content

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

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

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

Annotations

1 warning

build (ubuntu-latest, 3.8)

succeeded Jan 24, 2025 in 52s