Skip to content

add CI for the GitHub mirror

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

Merge request reports

Loading