In a new repo no workflows are visible despite them set with workflow_dispatch. If one first sets on push, and triggers the workflow, then one can see them and use the workflow_dispatch button. Investigate if there is a workaround, or add explanation in the lesson.