The site will be unavailable from 2023-07-16T08:00:00Z for a Discourse rebuild. I estimate that this may take up to twenty minutes, but probably less. As always, check https://status.firedrake.org/ for updates.
2 Likes
And it’s all done.
4 Likes