Aymeric Fromherz enabled CI benchmarking for the cryspen/libcrux repository by integrating the LIBCRUX_BENCHMARKS option into the CMake build system within a Nix-based CI environment. This work involved propagating recent CMake configuration changes to the Nix CI pipeline, ensuring that benchmarks are consistently built and available during continuous integration runs. By aligning CMake and Nix configurations, Aymeric improved the reproducibility of benchmark data and accelerated feedback cycles for the development team. The project demonstrated practical expertise in build systems, CI/CD automation, and system configuration, leveraging CMake, Nix, and Shell scripting to enhance release confidence and workflow reliability.