Didier 0a002ab417 ci: we don't have to compile for docs updates		2023-07-16 19:36:40 +02:00
..
workflows	ci: we don't have to compile for docs updates	2023-07-16 19:36:40 +02:00