Aprovechando para añadir más usos del `checkout`

Que en un momento determinado puede ser útil. Y como se descuide lo meto en CI.