docs: fix CI workflow.