The virus scanner blocked the file tokei.exe
tokei.exe
I’m quite sure it’s a legit file, but it would be nice to be able to learn more about it before I ask our IT to unblock it.
That is the tokei binary from Tokei_jll.