[Mi-Cho-Coq|Multisig]: light cleaning

2 jobs for bruno@cleaning_multisig in 4 minutes and 13 seconds (queued for 1 second)
Status Job ID Name Coverage
  Build
passed #242638754
coq:8.8

00:03:46

passed #242638755
coq:8.9

00:04:11