For example when a new test fixture is added e.g. #195, it would be nice if the generated fixtures are viewable from the build job so that we can review the final output without having to clone and rerun uv fill locally for each PR changes. Right now we can only see that the fill passed, e.g. https://github.com/leanEthereum/leanSpec/actions/runs/19718792605/job/56497084126?pr=195