xoxys docs: fix ci badge