[coq|spend]add proof

2 jobs for contract_spend in 5 minutes and 7 seconds (queued for 15 seconds)
latest
Status Job ID Name Coverage
  Build
failed #252734302
coq:8.8

00:03:40

failed #252734308
coq:8.9

00:04:57

 
Name Stage Failure
failed
coq:8.9 Build
+- 
+- The following changes have been performed
| - install ott 0.28
+-
[NOTE] Pinning command successful, but your installed packages may be out of sync.

The former state can be restored with:
opam switch import "/home/coq/.opam/4.05.0/.opam-switch/backup/state-20190716151558.export"
ERROR: Job failed: exit code 1
failed
coq:8.8 Build
+- 
+- The following changes have been performed
| - install ott 0.28
+-
[NOTE] Pinning command successful, but your installed packages may be out of sync.

The former state can be restored with:
opam switch import "/home/coq/.opam/4.05.0/.opam-switch/backup/state-20190716151506.export"
ERROR: Job failed: exit code 1