Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CI: even more aggressive pruning based on memory
...ultimately, there won't be a way around reducing memory usage with large modules...
- Loading branch information