fix: don't copy giant files to temp containers#230

david-christiansen merged 1 commit into

masterleanprover/fp-lean:masterfrom

smaller-tmpleanprover/fp-lean:smaller-tmpCopy head branch name to clipboard