The test Cassandra cluster we ran on Azure is currently down, waiting to be re-created in Rocq
This task has been migrated to GitLab.