Skip to content

Drop unused CI tables and files

Zeger-Jan van de Weg requested to merge zj-remove-unused-ci-tables into master

cc @ayufan

Merge request reports