Closed cpeel closed 1 month ago
Move our CI tooling into a SETUP/ci directory to declutter SETUP.
SETUP/ci
SETUP
LGTM. Again this looks like a good decluttering: distinguishing between CI-specific scripts, and stuff that's used for server installation.
Move our CI tooling into a
SETUP/ci
directory to declutterSETUP
.