Line breaks > 80 chars

2 jobs for !715 with linear-frame-priorities in 9 minutes and 24 seconds (queued for 4 seconds)
detached
Status Job ID Name Coverage
  Build
passed build-coq.8.12.2 #136536
fp

00:09:23

passed build-coq.dev #136535
fp

00:09:04