Skip to content

add CI for the GitHub mirror

STEVAN Antoine requested to merge add-mirror-ci into main

as per title, this should run the same CI on the GitHub mirror

Merge request reports