Skip to content
Snippets Groups Projects

make a few cosmetic tweaks in the EDF optimality proof

Passed
Björn Brandenburg created pipeline for commit bbefcd16
, finished
1 related merge request: !56 make a few cosmetic tweaks in the EDF optimality proof
branch
12 jobs 7 minutes 52 seconds, queued for 0 seconds