Add a CI workflow.
Add a CI workflow.