Skip to content
GitLab
Commit 8b3baf43 authored by Pierre-Antoine Rouby's avatar Pierre-Antoine Rouby
Browse files

Solver run: Used merged channels to get stderr.

parent 12e3d779
Pipeline #51947 passed with stages
in 1 minute and 48 seconds