Worked on improving build reliability and CI/CD reproducibility for the runtimeverification/evm-semantics repository, focusing on deterministic artifact delivery. Addressed a critical bug by ensuring that Cachix builds consistently reflected the exact inputs used by both the CLI and Nix flake, which involved updating the build process to include the /tests/ethereum-tests and /web/k-web-theme submodule directories. This change eliminated environment-specific variability in build outputs, streamlining debugging and release workflows. The work leveraged expertise in build systems, CI/CD pipelines, and the Nix language, resulting in more predictable and stable builds across all continuous integration environments for the project.