Skip to content

Port CI from float-pc to main-pc

Fabian Müllerrequested to merge
mullerfa/port-ci-from-float-pc-to-main-pc into main-pc

This ports the relevant build, compare and postvalidate jobs to this branch, too.

Merge request reports