Support channels

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

---

Last update: November 29, 2022