Explain boost pinnings more
Passed
created pipeline for commit
4e06548b
, finished
1 related merge request: !185 Add make to the list of dependencies
8 minutes 40 seconds, queued for 1 seconds