Skip to content

Remove old ci scripts

Derrick Liu requested to merge cleanup-ci into dev

After !28 (merged), we don't use the CI scripts anymore. Let them go gently into that good night.

Merge request reports