Eris doesn't report seed if when using Facade

[bekh6ex]

There is method on ErisTrait

    /**
     * @after
     */
    public function erisTeardown()
    {
        $this->dumpSeedForReproducing();
    }

That dumps the seed in case of test failure.

This method is never called if Facade is used instead of PHPUnit integration, so there is no way to find out the seed with which tests failed on CI system.

[giorgiosironi]

I think here we would need to print $this->seed rather than the dumpSeedForReproducing() method, as the latter is PHPUnit-specific.
Not knowing what is calling Facade I would then expose $this->seed with a TestTrait getter, which will be available on Facade automatically. Is that what you are looking for?