https://github.com/model-checking/kani/actions/runs/15432529867/job/43432847335 failed as the git_log is exported as an environment variable, yet that log appears too long for other commands to make use of. We should try to communicate it via a file.