Skip to content

[BOP-56] Run CI on merge to main#8

Merged
nwneisen merged 3 commits intoMirantis:mainfrom nwneisen:BOP-56-CI-on-mergeNov 3, 2023