Identify github action logs#2169

aarondr77 wants to merge 2 commits into

devmito-ds/mito:devfrom

identify-github-actions-logsmito-ds/mito:identify-github-actions-logsCopy head branch name to clipboard