updated CI docs, minor formatting