Add prune tool (!2) · Merge requests · Workshop / auditree-devtools · GitLab

Ryan Ahearn requested to merge add-prune-tool into main Aug 19, 2024

adds a helper script for running auditree-prune
Auto-builds docker images. Closes #1 (closed)