13 should be merged first. This PR builds on that one. The idea here is that the GitHub API provides us with a nice summary of steps. At the end of a given job, we should gather that information, parse it, and output the per-step timing info as spans to Tempo.
I struggled to get the github action path thing to work. It seemed very fragile. I ended up just inlining the script. It's not huge, anyway. I'm going to close #13 and just clean things up here.
13 should be merged first. This PR builds on that one. The idea here is that the GitHub API provides us with a nice summary of steps. At the end of a given job, we should gather that information, parse it, and output the per-step timing info as spans to Tempo.