[ feature ] Automating Mid-Install Temporary Directory Cleanup#301

Matthew-Mosior wants to merge 5 commits intostefan-hoeck:mainstefan-hoeck/idris2-pack:mainfrom

Matthew-Mosior:temporary-directories-not-cleanedMatthew-Mosior/idris2-pack:temporary-directories-not-cleanedCopy head branch name to clipboard