port to gen_proofmode

1 job for ci/gen_proofmode in 10 minutes
Status Job ID Name Coverage
  Build
passed #15311
fp
build-iris.dev

00:10:00