add CI for pull requests#172

pfent wants to merge 4 commits into

mastercedardb/docs:masterfrom

fent/cicedardb/docs:fent/ciCopy head branch name to clipboard