The site will be unavailable from 2024-01-13T09:00:00Z for a Discourse rebuild. I estimate that this may take up to half an hour. As always, check https://status.firedrake.org/ for updates.
1 Like
This work has been completed.
1 Like