added shell, fixed mistake in github-workflow.md