Commit graph

2 commits

Author SHA1 Message Date
Alex Pyrgiotis
44f0ea5149
FIXUP: Rename repro-build to repro-build.py 2025-03-19 11:44:20 +02:00
Alex Pyrgiotis
6074bb6a36
Vendor repro-build script
Vendor the `repro-build` script in our codebase, which will be used to
build our container image in a reproducible manner. We prefer to copy it
verbatim for the time-being, since its interface is not stable enough,
and the repro-build repo is not reviewed after all.

In the future, we want to store this script in a separate place, and
pull it when necessary.

Refs #1085
2025-03-19 11:44:19 +02:00