Worked on enabling CI benchmarking for the cryspen/libcrux repository by integrating the LIBCRUX_BENCHMARKS option into the CMake build process within a Nix-based CI environment. This involved propagating recent CMake configuration changes to the Nix CI pipeline, ensuring that benchmarks are consistently built and available during automated runs. The approach improved the CI feedback loop and provided reproducible benchmark data, supporting more reliable release processes. Leveraged expertise in build systems, CI/CD, and system configuration, utilizing CMake, Nix, and Shell scripting to align development and CI environments for consistent and transparent benchmarking across all stages of the workflow.