Check docs build cleanly

DO NOT MERGE Check loopy fix #6736

Sign in to view logs

GitHub Actions / Firedrake real succeeded Jan 13, 2025 in 0s

29 tests run, 27 passed, 2 skipped, 0 failed.

View more details on GitHub Actions