teaching-tools
Tools that help with teaching at upb. Group members should be employed at upb.
Instance-wide CI Runners have been updated. For details see: https://cs.uni-paderborn.de/en/irb/dienstuebersicht/git-server#server-wide-changes
Tools that help with teaching at upb. Group members should be employed at upb.