Apply suggestion to src/contracts_coq/generic_multisig.v

2 jobs for general_multisig in 4 minutes and 31 seconds
Status Job ID Name Coverage
  Build
passed #244119492
coq:8.8

00:04:20

passed #244119493
coq:8.9

00:04:31