Update manager proof

2 jobs for tomas@manager-contract-do-entry in 4 minutes and 15 seconds (queued for 1 second)
latest
Status Job ID Name Coverage
  Build
passed #251997560
coq:8.8

00:03:39

passed #251997561
coq:8.9

00:04:15