Bake pinned sources into offline red-team image - #32

Bake pinned sources into offline red-team image#32

tadamcz wants to merge 1 commit into

comparatorepoch-research/LeanOpenProblems:comparatorfrom

comparator-red-team-followiupepoch-research/LeanOpenProblems:comparator-red-team-followiupCopy head branch name to clipboard