Free up disk space to ensure successful execution of jobs#374

carolynzech merged 1 commit intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

tautschnig:free-up-disk-spacetautschnig/verify-rust-std:free-up-disk-spaceCopy head branch name to clipboard