was down overnight because redis decided it couldn't write to disk. Restarting the redis service seems to have fixed it.
We have 21GB free, so it wasn't a lack of space. Who knows! 🤷‍♂️

Sign in to participate in the conversation

A Mastodon instance for maths people. The kind of people who make \(\pi z^2 \times a\) jokes.

Use \( and \) for inline LaTeX, and \[ and \] for display mode.