🐞 Bug report

Since we activated them, the nightly CI runs have been failing. Here's a recent run for an example.

It would be nice to fix the nightly runs so that a) we actually test what we want to test, and b) I don't get an email from GitHub every morning 😁.