diff --git a/README.md b/README.md index f8d3a1a834109ddc2f950a6bd3707c44ed3377a1..731be4c380b12367e1c76c0df4dee111fdc2e078 100644 --- a/README.md +++ b/README.md @@ -118,3 +118,4 @@ | git.itm.uni-luebeck.de | gitlab | successful | 2025-03-19 19:23:35 +0000UTC | #982 | | gitlab.informatik.uni-halle.de | gitlab | successful | 2025-03-19 19:51:49 +0000UTC | #979 | | git.uni-wuppertal.de | gitlab | successful | 2025-03-19 19:52:42 +0000UTC | #981 | +| gitlab.cs.uni-saarland.de | gitlab | successful | 2025-03-20 10:49:05 +0000UTC | #974 |