diff --git a/README.md b/README.md index 2cd401e5bfde6e72875367b039e9b4a3c0ec97bf..255521f0a1dd12e757a219f594041bb10bc4d2f7 100644 --- a/README.md +++ b/README.md @@ -110,3 +110,4 @@ | git.informatik.uni-kiel.de | gitlab | successful | 2025-03-19 11:07:29 +0000UTC | #968 | | sme.uni-bamberg.de | gitlab | successful | 2025-03-19 12:47:40 +0000UTC | #972 | | gitlab.cs.uni-duesseldorf.de | gitlab | successful | 2025-03-19 12:48:25 +0000UTC | #973 | +| dgit.cs.uni-saarland.de | gitlab | successful | 2025-03-19 13:10:11 +0000UTC | #975 |