Skip to content
Build and Test Dafny Standard Libraries

fix: Optimize datatype wrappers only in the absence of trait parents #1702

Sign in to view logs

fix: Optimize datatype wrappers only in the absence of trait parents

fix: Optimize datatype wrappers only in the absence of trait parents #1702

build

build
succeeded Mar 22, 2024 in 15m 29s