lake build on CSLib outputs stuff

Stream: CSLib

[Shreyas Srinivas]

Currently lake build on CSLib outputs test results :

$ lake build
ℹ [1600/1638] Built Cslib.Algorithms.MergeSort.MergeSort
info: Cslib/Algorithms/MergeSort/MergeSort.lean:63:0: [1, 2, 3, 4, 5, 6, 7, 8]
info: Cslib/Algorithms/MergeSort/MergeSort.lean:64:0: 12

[Shreyas Srinivas]

These #eval calls should be written as tests in the tests folder

[Shreyas Srinivas]

(deleted)

[Shreyas Srinivas]

EDIT: The last message should be discussed in a separate topic. Hence deleted

[Chris Henson]

Are you sure this is in the main branch? I don't see what you're referring to.

[Shreyas Srinivas]

Let me check. I might be on a different branch

[Chris Henson]

We should regardless turn on the --iofail option in CI so there is no question, I've been meaning to make a PR.

[Shreyas Srinivas]

Oh oops I am on a different branch. I should really sleep now