Drop Proof as a dependency

1 job for master in 4 minutes and 35 seconds (queued for 2 seconds)
Status Job ID Name Coverage
  Start
passed build-start #9371435

00:04:35