Commit 35f0184bfd260f08eab869a7911453c8e612a122

Khaled Hosny 2023-01-17T20:48:11

[ci] Clean a bit and add some consistency