[ci][anneal] Remove tests before building Lean library in release#3294

joshlf merged 1 commit intomaingoogle/zerocopy:mainfrom

Gzcu4ycvlg2exazk6idhxol3x7mrndvgggoogle/zerocopy:Gzcu4ycvlg2exazk6idhxol3x7mrndvggCopy head branch name to clipboard