This should make it work with Github Actions.
This also renames the CI workflow from "Smack CI" to just "CI".
Modified-by: Florian Schmaus <flo@geekplace.eu>