`crux-mir` CI: Free up some extra disk space

GaloisInc / crucible

Crucible is a library for symbolic simulation of imperative programs

617 stars 42 forks source link

`crux-mir` CI: Free up some extra disk space #1176

Closed RyanGlScott closed 5 months ago

RyanGlScott commented 5 months ago

These tools take up about 10GB of extra space. We are just barely exceeding GitHub Action's maximum disk size of 14GB when building the crux-mir Docker image, so having some extra disk space would be welcome indeed.

Fixes #1175.