Skip to content
Snippets Groups Projects

fixed formatting

Passed
David Schäfer created pipeline for commit 16be7ea2
, finished
1 related merge request: !13 Evaluator rework - propagate flags through evaluation
2 jobs 6 minutes 45 seconds, queued for 2 seconds