Closed ctrueden closed 2 years ago
@k-dominik Weird! My intent was just to make the CI build more efficient, not fix problems (e.g. failing compilation or failing tests). I tried looking back for comparison, to see why the CI build failed before, but the log has already been purged, so I couldn't check.
thx @ctrueden - so that fixed our CI?! :)