pc2-CI

Public "mirror repository" used to run CI for public projects hosted elsewhere (e.g. https://github.com/pc2) on PC² infrastructure

Note: Projects that are not intended for the public should go here: https://git.uni-paderborn.de/groups/pc2