Skip to content

[CI] update to latest ci changes in float repo

Jan Kienerequested to merge
ci/updates-from-float-repo into main

In the float repository, updates to the basop-related ci scripts are planned. this MR adapts the basop CI to be conform.

Merge request reports