Create a CI runner for building the project documentation.

A CI runner should build the documentation automatically when a new commit is pushed to the remote.