Support channels

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

---

Last update: September 23, 2022