brian m. carlson 4a2e96b743 CI: prune unused Docker images after use ... At the moment, we're running out of disk space when building packages in Docker containers. This is because our CI VMs have only 14 GB of storage. To help deal with this problem, let's add an option to the run_dockers.bsh script to prune images after using them so we can free some of that disk space and let the remaining jobs complete.		2020-04-17 15:59:14 +00:00
..
ISSUE_TEMPLATE	Add issue templates	2019-11-13 19:54:28 +00:00
workflows	CI: prune unused Docker images after use	2020-04-17 15:59:14 +00:00