Commit graph

2 commits

Author SHA1 Message Date
Alex Pyrgiotis
094d876dba
FIXUP: Rename repro-build to repro-build.py 2025-03-10 14:53:49 +02:00
Alex Pyrgiotis
a9de671615
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-02-26 23:37:46 +02:00