tp2: lints

2 jobs for main in 15 seconds (queued for 2 seconds)