name: A workflow for my Hello World file
on: push