Fix contract proofs

2 jobs for self_in_origination in 5 minutes and 35 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #244151313
coq:8.8

00:04:22

passed #244151314
coq:8.9

00:05:34