Skip to content

remove unused files

Raphael Das Gupta requested 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