CI on `main` is failing

[connorjward]

Example: https://github.com/firedrakeproject/firedrake/actions/runs/32350747192

(I have fixed the linting problem in #5366)