This also renames the CI workflow from "Smack CI" to just "CI".
Modified-by: Florian Schmaus <flo@geekplace.eu>