formatting + ci

2 jobs for ci in 3 minutes and 19 seconds (queued for 7 seconds)