ctb(proofs): switch to running OptimismPortal2 proofs, since that portal is used in production (#11545)
Attach a file by drag & drop or click to upload
