Skip to content

CI fixes for stable (grafted from default)

Raphaël Gomès requested to merge topic/stable/stable-ci into branch/stable

Currently everything here is just a graft: all these changes were already on default.

Merge request reports