Skip to content

Update CI badges

Afonso Mukai requested to merge update_ci_badges into main

Update CI badges to point to GitLab CI

Merge request reports