Skip to content
Snippets Groups Projects

remove redundant clause from `busy_intervals_are_bounded_by`

Warning
Björn Brandenburg created pipeline for commit 4307d298
, finished
For master
branch
13 jobs 11 minutes 32 seconds, queued for 5 seconds