Marek Kaput

I am 99% sure this flag is not needed and Protostar could be able to infer that TTY is not interactive from running environment. Does TQDM properly degrade in CI?

@kasperski95 assigning to you because you are working on #584 and this will be related.

I also think we should report the seed (and the summary in general) in integration tests logs.

> > I also think we should report the seed (and the summary in general) in integration tests logs. > > > > Why would that be needed? Because if...

@kasperski95 I think we can cancel this? Because we concluded that the user simply didn't collaborate as we thought in the reference issue.

sorry for being _that guy_, but I don't personally see a need to have distinct `shared` and `features` hierarchies. There's no added value over putting shared stuff under `protostar` and...

@MaksymilianDemitraszek @Radinyn opinions?

Hey @JorikSchellekens! Thanks for reporting the bug. Unfortunately, I cannot reproduce this locally, mostly probably due to the fact that this problem occurs only with a specific test seed. Do...

@kasperski95 is this still relevant?

We are researching integrating Cleopatra with Protostar in order to improve execution times, mostly of test suites. One thing that we need from VM implementation, is that we have a...