Worked on the ucsd-progsys/liquid-fixpoint repository to optimize continuous integration artifact handling by introducing a feature that saves binary query files only when verification fails. This involved adding a --savebfq command-line flag and a saveBfqOnError configuration option, ensuring artifact collection is consistent and only triggered on test failures. Updated CI workflows in YAML to upload artifacts selectively, reducing storage requirements and streamlining debugging for flaky tests. The work demonstrated skills in Haskell, CI/CD pipeline design, and backend development, resulting in faster feedback loops, clearer failure artifacts, and lower maintenance overhead without addressing major bug fixes during the period.