sync model checker and opengeode

1 job for feature_buster in 37 minutes and 6 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Build
passed #2874
build

00:37:06