Fix provenance generation in CI

[tiziano88]

#2536 broke the provenance generation script in CI: https://github.com/project-oak/oak/runs/5205293325?check_suite_focus=true (sorry about that!)

@jul-sh is it worth considering running this also pre-merge, without actually writing the provenance anywhere (dry run), so that at least it catches such errors?

[jul-sh]

Thanks for the heads up, I'll look into it.

@jul-sh is it worth considering running this also pre-merge, without actually writing the provenance anywhere (dry run), so that at least it catches such errors?

Might be yeah, assuming that using up the GitHub CI runner resources is fine. One possible way to mitigate that would be to replace the existing reproducibility index script with the provenance logic, since it already runs on each PR. :]

[tiziano88]

I think this is probably obsolete, right?

[rbehjati]

I think this is probably obsolete, right?

I think so. Closing it.