[docs] fix typo in citation

32 jobs for github/PUSH_main in 36 minutes and 42 seconds (queued for 5 seconds)