CI team

Stream: general

[Johan Commelin]

Hi everyone! A quick update from the CI team https://leanprover-community.github.io/teams/ci.html

We thank @Gabriel Ebner for all the work he's done on CI in the past.

We also welcome some new members to the team: @Marcelo Lynch, @Kim Morrison, and @Damiano Testa.