GitLab will be shut down on June 25 to move to a new facility. https://www.eclipsestatus.io/incidents/5ffy27gwcbx7

tighten the tagline

1 job for main in 33 seconds (queued for 2 seconds)
Status Name Job ID Coverage
  Test
passed lint #14614

00:00:33