Support channels

Please send all queries regarding the CI service to the mailing list hpc-ci-hotline@lists.kit.edu.

---

Last update: April 12, 2022