Checking Github's Workflow.

Added and removed some text.