VS Code: little number in blue frame on bottom of window

Stream: general

[Kevin Buzzard]

number.png
I had always assumed that that little number was something like the number of files Lean was checking (transitive imports etc) but when goofing around today with a file which had no imports at all I saw it go up to about 9. What does that number actually mean?

[Gabriel Ebner]

It's a "number of tasks". Something like how many theorems are being processed in parallel. Parsing a file counts as a task as well. I think waiting for the dependencies to compile also counts.

[Jasmin Blanchette]

Why not write "4 tasks" then?