deriving .github workflows
1 file