/build
/lake-packages/*
/lakefile.olean
/.lake
/test/Mathlib/.lake
/test/*.olean
/test/*.olean.tmp
pass_rate_results/*/*/*.json