Typos and correction of LibSCI naming.
Failed
Filip Staněk
created pipeline for commit
266704e5
, finished
1 related merge request: !480 Typos and correction of LibSCI naming.
45 seconds, queued for 0 seconds