Set up CI workflow.
Set up CI workflow.