Mi-Cho-Coq/Contracts: formal proof of the specialised multisig

3 jobs for specialised-multisig in 7 minutes and 52 seconds (queued for 5 seconds)
latest
Status Job ID Name Coverage
  Build
passed #559180332
coq:8.10

00:07:51

passed #559180328
coq:8.8

00:06:59

passed #559180329
coq:8.9

00:07:42