Skip to content

remove unused files

Raphael Das Guptarequested to merge
repo-cleanup into master

They probably were used by the previous CI/CD that was removed in d80a856a and they should have been removed together with it.

Merge request reports